基于有限状态机最小化理论的同余关系研究
Release Time:2019-03-10 Hits:
Indexed by: Journal Article
Date of Publication: 2009-05-15
Journal: 计算机应用研究
Included Journals: CSCD、ISTIC、PKU
Volume: 26
Issue: 5
Page Number: 1746-1748
ISSN: 1001-3695
Key Words: 有限状态机;约简;代数系统;同余关系
Abstract: 对有限状态机(FA)的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系.为机器M与M′构造相关的代数系统,证明了两者之间存在同余关系.实验表明,同余关系对简化系统描述具有重要意义,为揭示原系统与约简系统之间蕴涵的更为深刻的内在关系提供了必要的理论基础.