(formula_22），则定义对应于Moore模型，它可建模为Moore机。根本没有输出函数的有限状态机叫做半自动机或转移系统。
优化.优化一个FSM意味着缩减状态机的状态数目，同时保证状态机能实现同样功能。一种可能是使用真值表或Moore简约过程。另一种可能是无环FSA的自底向上算法。
实现.
硬件应用.在数字电路中，FSM可以用可编程逻辑设备、可编程逻辑控制器、逻辑门和触发器或继电器来建造。更明确的说，硬件实现要求寄存器来存储