抽象自动机是—种能够识别语言的抽象装置，它不是具有物理实体的机器，而是表示计算机运算方式的抽象的逻辑关系系统，这样的抽象自动机可以用来检验输入的符号串是不是语言中合格的句子：如果是合格的句子，自动机就接收它，如果不是就不接收它。 数理语言学中，研究抽象自动机的理论称为自动机理论。