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

作者：刘益; 闵兰; 李生林; 高黎

来源：四川师范大学学报(自然科学版), 2009, (04): 447-449.

• 确定有限自动机
• 矩阵
• 逻辑运算 Deterministic finite automata
• Matrix
• Logic operation

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.

• 单位
  宜宾学院; 成都理工大学; 中国人民解放军陆军勤务学院