关于有限状态机最小化理论的一个注记

摘要：

对有限状态机的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系.为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系.阐述了同余关系对系统描述的意义,为应用有限状态机简化复杂过程提供了进一步的理论依据.

关键词：有限状态机、最小化、代数系统、同余关系

所属期刊栏目：35

分类号：TP301.1(计算技术、计算机技术)

在线出版日期：2008-10-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：228-231