在数字电路领域，有两种重要的有限状态自动机模型，一个是Moore型，另一个是Mealy型。它们都是由经典的有限状态自动机模型（FSM）演变而来，有着许多相似的特性，但也有着不同的特…