电气工程与电子技术学报

不完全指定顺序机的简化

VC普拉萨德

不完全指定顺序机的简化

大多数本科生书籍和研究文献都描述了基于兼容集的方法，以减少不完全指定的同步/异步顺序机的状态数。与此不同，本文为此目的使用了不兼容的状态集。提出了一种简单的技术来从兼容（不兼容）状态对生成所有最大不兼容（兼容）集。生成最大不兼容集有一些优点。1) 最大集合告诉我们最小机器的状态数。因此，我们可以知道最小机器有多“好”。2) 我们可以知道最小化是否必要。然后使用改进的最小概念对其进行最小化。最小机器的状态符号被分配给不兼容集合中的状态，使得没有两个不兼容状态获得相同的符号。与尝试多种可能性的一些同步机器方法相比，这种方法给出了最小机器。给出了一个例子来表明，传统的最小机器对于这里介绍的最小性可以是非最小的。改进的最小性倾向于给出最小的机器。