如果输出函数是状态和输入字母表的函数（formula_21），则定义对应于Mealy模型，它可以建模为Mealy机。如果输出函数只依赖于状态 (formula_22），则定义对应于Moore模型，它可建模为Moore机。根本没有输出函数的有限状态机叫做半自动机或转移系统。
优化.优化一个FSM意味着缩减状态机的状态数目，同时保证状态机能实现同样功能。一种可能是使用真值表或Moore简约过程。另一种可能是无环FSA的自底向上算法。
实现.Section:::