复习:状态机


(一) Moore和Mealy状态机  

  状态机根据影响输出的原因分为两大类,即 Moore 型状态机和 Mealy 型状态机。

  共同点:状态的跳转都只和输入有关。

  区别:在输出的时候,

     若最后的输出,只和当前状态有关而与输入无关则称为 Moore 型状态机;

     若最后的输出,不仅和当前状态有关还和输入有关则称为 Mealy 型状态机。

(二)可乐贩卖机的两种状态机实现

2.0 问题描述

可乐机每次只能投入 1 枚 1 元硬币,且每瓶可乐卖 3 元钱,即投入 3 个硬币就可以让可乐机出可乐,

如果投币不够 3 元想放弃投币需要按复位键,否则之前投入的钱不能退回。

2.1 Moore型

很明显,此时可乐贩卖机的最后输出只和当前状态:THREE相关。当处于THREE时,无论输入1还是0,输出都为1。

2.2 Mealy型

此时,最后的输出不仅与当前状态有关,还和此时的输入有关。所以当处于TWO时,输入0或1将有不同的输出。