奇偶校验自动机的逻辑形式描述  

Logic Description of Parity Checking Automaton

作　　者：闵兰[1] 刘益[2] 

机构地区：[1]成都理工大学信息管理学院,成都610059 [2]宜宾学院计算机科学技术系,四川宜宾644007

出　　处：《西南师范大学学报（自然科学版）》2009年第3期107-109,共3页Journal of Southwest China Normal University(Natural Science Edition)

摘　　要：自动机工作过程实质上是一种逻辑推理过程,自动机的研究实际上就是自动机状态转换过程的研究.从奇偶校验自动机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.

关 键 词：奇偶校验自动机 状态转换函数 命题逻辑 

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