乔姆斯基范式 在计算机科学中一个形式文法是 Chomsky 范式的当且仅当所有产生规则都有如下形式 A  BC 或 A  α 或 S  ε 这里的 A B 和 C 是非终结符α 是终结符表示常量值的符号S 是开始符号而 ε 是空串还有B 和 C 都不可以是开始符号 所有的 Chomsky 范式的文法都是上下文无关反过来所有上下文无关文法都可以有效的变换成等价的 Chomsky 范式的文法 除了在文法可能生成空串的时候包括的可选规则 S  ε 是例外Chomsky 范式的文法的所有规则都是扩张的就是说在字符串的整个导出过程中每个终结符和非终结符的字符串比起前面导出的字符串要么同样长度要么多出一个元素长度 n 的字符串的导出总是精确的 n 步长 Chomsky 范式得名于诺姆乔姆斯基他是发明乔姆斯基层级的美国语言学家