语言识别器，能接受描述模式的形式语言的自动机。形式语言中的四类基本语言，即字母表（有限符号集）中符号所组成的链的集合（见短语结构文法），分别对应着四类自动机。当某类自动机能接受、且只能接受某类形式语言（即相应类的输入信号符号串）时，就称该类自动机与相应类的形式语言等价。而该类自动机也就是相应形式语言的识别器。在模式识别中，当一类模式能用短语结构文法来描述时，相应的自动机可作为该类模式的识别器。这样可以把有关形式语言文法的性质和相应自动机的性质结合起来研究，互相补充。通过自动机极易获得相应形式语言文法的识别程序，识别程序乃是数字计算机编译程序的核心，可用于完成对语言句子的语法分析，最终可用于模式识别。