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

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