在兩種符號置換的意義下(終結符和非終結符分別替換), 許多文法之間有著相似性。把一組彼此相似的文法抽象成一個更高階的形式體系，就叫作文法形式。迄今，文法形式的研究主要集中在上下文無關文法上。
文法形式的具體定義是：給定無限的終結符表Σ∞和無限的非終結符表V∞。任取Σ∞和V∞的非空子集Σ和V,按構造普通文法的方法定義一個四元組G=(Σ，V，S，P)。在G確定以後，任取對映函式ψ，把Σ中每一元素a映為Σ∞中一有限子集ψ(a)，把V中每一元素A映為V∞中一個有限子集ψ(A),且當A厵B時有ψ(A)∩ψ(B)=φ。ψ就是所需的置換。透過它得到一個具體文法ψ(G)=【ψ(Σ)，ψ(V),ψ(S),ψ(P)】,其中ψ(P)是把P中所有產生式中的符號作ψ置換後得到的一組新產生式，ψ(Σ),ψ(V)和ψ(S)分別是ψ(P)中出現的終結符集，非終結符集和出發符號。 這樣的G稱為文法形式，ψ稱為G的一個解釋，ψ(G)是G的一個解釋文法，被認為是相似於G。令ψ遍歷各種可能的解釋,得到的ψ(G)集合稱為G的文法性語言族，由此生成的語言集合(ψ(G))稱為G的文法性語言族。例如，文法形式{S→aS，S→a}的文法性語言族是正則語言集;{S→SS，S→a}的文法性語言族是上下文無關語言集。
若文法形式G作為普通文法時生成的語言(G)是無限集，則稱G為非平凡的。此時文法性語言族(G)是一個滿主半AFL，反之不然。如滿主半AFL({ab│n≥1})，不是一個文法性語言族。
以G1·G2表文法性語言族G1和G2的乘積,1∩2表兩者之並,它們仍是文法性語言族。當吇G1G2時，必有G吇G1或G吇G2成立，則稱G是素的。正則語言集和線性語言集都是素文法性語言族。任一文法性語言族G必可唯一地分解為它的素因子乘積和：G=(11…1n1)∪…∪(m1…mnm)。其中每個Gij都是素因子。這個分解在乘積運算∪可交換的意義下是唯一的。 從文法生成語言，可有多種推導公式。例如文法{S→AB，A→a,B→b}可有兩種推導：S崊AB崊aB崊ab及S崊AB崊Ab崊ab。若每次都取最左邊的非終結符進行推導，如上例中的前一種方式那樣，則稱為左推導。如果有兩種不同的左推導推出同一結果，則稱此文法是二義性的，反之是無二義文法。對有些二義性文法，可找到一個等價的無二義文法，生成同一個語言。不具有無二義文法的語言稱為本質二義性語言。例如，{S→A,S→a,A→a}是二義性文法。
是本質二義性語言。
在兩種符號置換的意義下(終結符和非終結符分別替換), 許多文法之間有著相似性。把一組彼此相似的文法抽象成一個更高階的形式體系，就叫作文法形式。迄今，文法形式的研究主要集中在上下文無關文法上。
文法形式的具體定義是：給定無限的終結符表Σ∞和無限的非終結符表V∞。任取Σ∞和V∞的非空子集Σ和V,按構造普通文法的方法定義一個四元組G=(Σ，V，S，P)。在G確定以後，任取對映函式ψ，把Σ中每一元素a映為Σ∞中一有限子集ψ(a)，把V中每一元素A映為V∞中一個有限子集ψ(A),且當A厵B時有ψ(A)∩ψ(B)=φ。ψ就是所需的置換。透過它得到一個具體文法ψ(G)=【ψ(Σ)，ψ(V),ψ(S),ψ(P)】,其中ψ(P)是把P中所有產生式中的符號作ψ置換後得到的一組新產生式，ψ(Σ),ψ(V)和ψ(S)分別是ψ(P)中出現的終結符集，非終結符集和出發符號。 這樣的G稱為文法形式，ψ稱為G的一個解釋，ψ(G)是G的一個解釋文法，被認為是相似於G。令ψ遍歷各種可能的解釋,得到的ψ(G)集合稱為G的文法性語言族，由此生成的語言集合(ψ(G))稱為G的文法性語言族。例如，文法形式{S→aS，S→a}的文法性語言族是正則語言集;{S→SS，S→a}的文法性語言族是上下文無關語言集。
若文法形式G作為普通文法時生成的語言(G)是無限集，則稱G為非平凡的。此時文法性語言族(G)是一個滿主半AFL，反之不然。如滿主半AFL({ab│n≥1})，不是一個文法性語言族。
以G1·G2表文法性語言族G1和G2的乘積,1∩2表兩者之並,它們仍是文法性語言族。當吇G1G2時，必有G吇G1或G吇G2成立，則稱G是素的。正則語言集和線性語言集都是素文法性語言族。任一文法性語言族G必可唯一地分解為它的素因子乘積和：G=(11…1n1)∪…∪(m1…mnm)。其中每個Gij都是素因子。這個分解在乘積運算∪可交換的意義下是唯一的。 從文法生成語言，可有多種推導公式。例如文法{S→AB，A→a,B→b}可有兩種推導：S崊AB崊aB崊ab及S崊AB崊Ab崊ab。若每次都取最左邊的非終結符進行推導，如上例中的前一種方式那樣，則稱為左推導。如果有兩種不同的左推導推出同一結果，則稱此文法是二義性的，反之是無二義文法。對有些二義性文法，可找到一個等價的無二義文法，生成同一個語言。不具有無二義文法的語言稱為本質二義性語言。例如，{S→A,S→a,A→a}是二義性文法。
是本質二義性語言。