喬姆斯基範式

在計算機科學中 ， 一個形式文法是 Chomsky 範式的 ， 當且僅當所有產生規則都有如下形式 ： A → BC 或 A → α 或 S → ε 這裏的 A, B 和 C 是非終結符 ， α 是終結符 （ 表示常量值的符號 ） ， S 是開始符號 ， 而 ε 是空串 。 還有 ， B 和 C 都不可以是開始符號 。 所有的 Chomsky 範式的文法都是上下文無關 ， 反過來 ， 所有上下文無關文法都可以有效的變換成等價的 Chomsky 範式的文法 。 除了 （ 在文法可能生成空串的時候包括的 ） 可選規則 S → ε 是例外 ， Chomsky 範式的文法的所有規則都是擴張的 ， 就是說在字符串的整個導出過程中 ， 每個終結符和非終結符的字符串比起前面導出的字符串要麼同樣長度要麼多出一個元素 。 長度 n 的字符串的導出總是精確的 2n - 1 步長 。 Chomsky 範式得名於諾姆 · 喬姆斯基 ， 他是發明喬姆斯基層級的美國語言學家 。