也就是自动机理论。自动机理论有一个有趣的结果，某些形式语言是无法设计出识别器的。语法分析是通过将一段话语（自然语言中的一个字符串）分解成一组符号，并根据语言的语法分析每一个符号的过程。大多数语言的话语含义都是根据其句法结构来确定的——这种做法被称为组合语义学。因此，在语言中描述话语含义的第一步就是把它分解成若干部分，然后观察它经过分析后的形式（在计算机科学中被称为分析树，在生成文法中被称为深层结构）。
入门示例.文法主要由一组变换字符串的规则组成。（如果它只包含这些规则，那么它就