米利型有限状态机 在计算理论中米利型有限状态机英語Mealy machine是基于它的当前状态和输入生成输出的有限状态自动机更精确的叫有限状态变换器这意味着它的状态图将为每个转移边包括输入和输出二者与输出只依赖于机器当前状态的摩尔有限状态机不同它的输出与当前状态和输入都有关但是对于每个米利机都有一个等价的摩尔机该等价的摩尔机的状态数量上限是所对应米利机状态数量和输出数量的乘积加SSΛ