Study of congruence relation based on minimization theory of FA
基于有限状态机最小化理论的同余关系研究*

对有限状态机(FA)的最小化理论进行了研究，提出了原机器M与其最小机器M′之间还存在一种更近的关系，即同余关系。为机器M与M′构造相关的代数系统，证明了两者之间存在同余关系。实验表明，同余关系对简化系统描述具有重要意义，为揭示原系统与约简系统之间蕴涵的更为深刻的内在关系提供了必要的理论基础。