有限状态自动机 编辑
有限状态机又称有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的计算模型。
1
相关
标记系统是 Emil Leon Post 在1943年创立的确定性计算模型，作为一种简单形式的字符串重写系统。标记系统也可以看作抽象机，叫做 Post 标记机——简单的说，其唯一的磁带是无限长度的先进先出队列的有限状态自动机，在每次状态转变中机器读在队列头部的符号，从头部删除固定数目的符号，并可以向尾部增加符号。
在计算理论中，摩尔型有限状态机是指输出只由当前的状态所确定的有限状态自动机。摩尔型有限状态机的状态图对每个状态包含一个输出信号，相对于米利型有限状态机，它映射机器中的“转移”到输出。
在计算理论中，米利型有限状态机是基于它的当前状态和输入生成输出的有限状态自动机。这意味着它的状态图将为每个转移边包括输入和输出二者。与输出只依赖于机器当前状态的摩尔有限状态机不同，它的输出与当前状态和输入都有关。但是对于每个Mealy机都有一个等价的Moore机，该等价的Moore机的状态数量上限是所对应Mealy机状态数量和输出数量的乘积加1。
在计算理论中，米利型有限状态机是基于它的当前状态和输入生成输出的有限状态自动机。这意味着它的状态图将为每个转移边包括输入和输出二者。与输出只依赖于机器当前状态的摩尔有限状态机不同，它的输出与当前状态和输入都有关。但是对于每个Mealy机都有一个等价的Moore机，该等价的Moore机的状态数量上限是所对应Mealy机状态数量和输出数量的乘积加1。
在计算理论中，摩尔型有限状态机是指输出只由当前的状态所确定的有限状态自动机。摩尔型有限状态机的状态图对每个状态包含一个输出信号，相对于米利型有限状态机，它映射机器中的“转移”到输出。
在计算理论中，摩尔型有限状态机是指输出只由当前的状态所确定的有限状态自动机。摩尔型有限状态机的状态图对每个状态包含一个输出信号，相对于米利型有限状态机，它映射机器中的“转移”到输出。
在自动机理论中，嵌套堆栈自动机是可以利用持有作为附加栈的数据的堆栈的有限状态自动机。 嵌套堆栈自动机除了压入和弹出外还可以读它的栈。嵌套堆栈自动机有能力识别附标语言。
控制单元，有时为CPU一部分，有时安装于CPU外部，负责指挥CPU工作。通过该装置的运行来控制其他装置的活动，也被视作有限状态自动机的一种。
控制单元，有时为CPU一部分，有时安装于CPU外部，负责指挥CPU工作。通过该装置的运行来控制其他装置的活动，也被视作有限状态自动机的一种。
在计算理论中，摩尔型有限状态机是指输出只由当前的状态所确定的有限状态自动机。摩尔型有限状态机的状态图对每个状态包含一个输出信号，相对于米利型有限状态机，它映射机器中的“转移”到输出。