摘要
自动机工作过程实质上是一种逻辑推理过程,自动机的研究实际上就是自动机状态转换过程的研究.从奇偶校验自动机M的定义入手,通过分析其状态转换函数与输出函数的内在含义,引入有关的原子命题,得到奇偶校验自动机M的逻辑表示形式.
The work process of finite automaton is a process of logic reasoning.The study of automaton is the study of automaton state transition process.Based on the analysis of the definition of parity checking automaton and the meaning of station transition function and output function,the paper,through introducing some atom proposition,obtains the logic description of parity checking automaton.
出处
《西南师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2009年第3期107-109,共3页
Journal of Southwest China Normal University(Natural Science Edition)
关键词
奇偶校验自动机
状态转换函数
命题逻辑
parity checking automaton
state transition function
proposition logic
