FSM逻辑.FSM的下一个状态和输出是由输入和当前状态决定的。FSM逻辑在图5中展示。
数学模型.依据类型不同有多种定义。接受器有限状态机是五元组formula_1，这里的：变换器有限状态自动机是六元组formula_11，这里的：如果输出函数是状态和输入字母表的函数（formula_21），则定义对应于Mealy模型，它可以建模为Mealy机。如果输出函数只依赖于状态 (formula_22），则定义对应于Moore模型，它可建模为Moore机。