奇偶校验自动机的逻辑形式描述
Logic Description of Parity Checking Automaton作者机构：成都理工大学信息管理学院成都610059 宜宾学院计算机科学技术系四川宜宾644007
出 版 物：《西南师范大学学报（自然科学版）》 (Journal of Southwest China Normal University(Natural Science Edition))
年 卷 期：2009年第34卷第3期
页 面：107-109页
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：自动机工作过程实质上是一种逻辑推理过程,自动机的研究实际上就是自动机状态转换过程的研究.从奇偶校验自动机M的定义入手,通过分析其状态转换函数与输出函数的内在含义,引入有关的原子命题,得到奇偶校验自动机M的逻辑表示形式.
维普期刊数据库
同方期刊数据库
