1.形式语言：是用来精确地描述语言（包括人工语言和自然语言）及其结构的手段。形式语言学 也称代数语言学。

2.自动机：识别器是有穷地表示无穷语言的另一种方法。每一个语言的句子都能被一定的识别器所接受。

*有限状态转换机（FST）

除了前面提到的单词拼写检查、词法分析、词性标注等工作以外，有限状态自动机还广泛地应用于句法分析、短语识别、机器翻译和语音识别等很多方面。