摘要
研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.
There are several different methods to study deterministic finite automata （abb. DFA） ： state transition function, RTL, VHDL and matrix format. As compared with others, the last one can perform beffer the caculation of the state transition. DFA describe some relations between sets. Their function is in fact a logic reasoning. In this paper, based on the logical definition of DFA, by employing matrix format, a matrix logical equation is established for DFA. Moreover, some properties are discussed.
出处
《四川师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2009年第4期447-449,共3页
Journal of Sichuan Normal University（Natural Science）
基金
国家自然科学基金(70871118)资助项目
关键词
确定有限自动机
矩阵
逻辑运算
Deterministic finite automata
Matrix
Logic operation
