一种简捷快速的状态图简化算法

摘要

同步时序机的状态驱动可根据状态图来完成，状态图通常由次态方程求得，但对于复杂的同步时序机，其状态图一般比较复杂且庞大，难于用计算机描述和处理。本文给出一种由次态方一成简化状态图的算法，可使复杂的状态图大大简化而不影响状态间的驱动。