1.形式语言：是用来精确地描述语言（包括人工语言和自然语言）及其结构的手段。形式语言学 也称代数语言学。
2.自动机：识别器是有穷地表示无穷语言的另一种方法。每一个语言的句子都能被一定的识别器所接受。
*有限状态转换机（FST）
除了前面提到的单词拼写检查、词法分析、词性标注等工作以外，有限状态自动机还广泛地应用于句法分析、短语识别、机器翻译和语音识别等很多方面。
自然语言理解——NLP中的形式语言自动机,布布扣,bubuko.com
原文：http://www.cnblogs.com/jizhiyuan/p/3761249.html