确定有限自动机推理的可计算逻辑分析

• 作者: 刘益 闵兰 陈晓敏
• 来源期刊: 重庆邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 可计算逻辑 确定有限自动机 博弈
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 计算机与自动控制
• 页码范围: 761-764
• 分类号: TP301.1
• 字数: 2132字
• 语种: 中文
• DOI: 10.3979/j.issn.1673-825X.2011.06.022

摘要

针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数.在可计算逻辑中,计算问题是机器和环境博弈的过程.同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈晓敏	成都电子机械高等专科学校信息与计算科学系	19	165	7.0	12.0
2	刘益	宜宾学院计算机与信息科学系	17	39	5.0	5.0
3	闵兰	成都理工大学管理科学学院	21	162	7.0	12.0