有穷状态和自动机

有穷状态系统

在系统的运行过程中，系统的状态在有限状态之间不断变化，每个状态可以迁移到零个或多个状态，系统的输入决定执行哪个状态的迁移

如：电视遥控器开关，交通信号灯

有穷自动机的抽象装置

组成：一条输入带、一个读头、一个有穷控制器