确定有限自动机的矩阵形式  

Matrix Format of Deterministic Finite Automata

作　　者：刘益[1] 闵兰[2] 李生林[3] 高黎[3] 

机构地区：[1]宜宾学院计算机与信息科学系,四川宜宾644007 [2]成都理工大学信息管理学院,四川成都610059 [3]后勤工程学院自动化系,重庆400016

出　　处：《四川师范大学学报（自然科学版）》2009年第4期447-449,共3页Journal of Sichuan Normal University（Natural Science）

基　　金：国家自然科学基金(70871118)资助项目

摘　　要：研究自动机的方法有状态转换函数、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.

关 键 词：确定有限自动机 矩阵 逻辑运算 

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