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

Analysis of deterministic finite automaton in computability logic

作　　者：闵兰[1] 刘益[2] 陈晓敏[3] 

机构地区：[1]成都理工大学管理科学学院,四川成都610059 [2]宜宾学院计算机与信息科学系,四川宜宾644007 [3]成都电子机械高等专科学校信息与计算科学系,四川成都610031

出　　处：《重庆邮电大学学报（自然科学版）》2011年第6期761-764,共4页Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition)

摘　　要：针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数。在可计算逻辑中,计算问题是机器和环境博弈的过程。同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢。For the identification process of character string in DFA （ deterministic finite automaton）, using computability logic theory to analyze the form of state function and the faction of DFA is put forward in this paper. According to the computability logic theory, computability question is a game between the machine and environment. Likewise the identification process of character string in DFA is regarded as a game between machine and user.

关 键 词：可计算逻辑 确定有限自动机 博弈 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]