自动机是一种抽象的计算模型，用于描述系统中的状态和转移规则。

它由一组状态、一组输入符号和一组转移函数组成，可以根据输入符号的改变自动地从一个状态转移到另一个状态。自动机可以分为有限状态自动机和无限状态自动机两种类型，分别用于描述有限状态的系统和无限状态的系统。在计算机科学和工程领域，自动机被广泛应用于模拟系统行为、设计编译器、验证硬件电路等方面。它是理解和描述系统的重要工具，也是计算理论中的基本概念之一。