兩級文法

兩級文法是下列兩種形式結構之一 ： 兩級形式語言的形式文法 ， 這種語言是按兩個級別來指定的形式語言 ， 比如 ， 字和句兩個級別 。 用來生成其他形式文法的形式文法 。 定義次級文法的規則的上下文無關文法可以生成導出文法的規則的一個有效的無限集合 。 可以生成另一個上下文無關文法的兩級文法比單一層上下文無關文法更加強力 ， 因爲有生成力的兩級文法已經實際上被證實是圖靈完全的 。