形式语言理论中一种重要的变换文法杨陈钢只独训，用来描述上下文加界次积纸倒无关语言，在乔姆斯基分层中称为2型文法。由于程序设计语言的语法基本上都是上下文无关文法，因此应用十分广泛。
简介
上下文无关文法(Context-Free Grammar, CFG)
在计算机科学中，若一个形式文法G = (N, Σ, P, S) 的产生式规则都取如下来自的形式:V -> w，例阿则称之为上下文无关的，其中 V∈N ，w∈(N∪Σ)* 。上下文无关文法取名为"上下文无关"的原因就是因为字符 V 总可以被字串 w 自由替换，而无需考虑字360百科符 V 出现的上下文。一个形式语言是上下文无关的，如果它是由上下文无关文法生成的﹙条目上下文无关语否谈直言﹚。
上下文无关文法 上下文无关文法重要的原因在于它们拥有足够强的表达力来表示大多数程序设计语言的语法;实际上，几乎所有程序设计语言都是通过五上下文无关文法来定义的。另一方面，上下文无关文法又足够简单，使得我们可以构造有效的分析算法来检验一个给定字负换史包离燃果串是否是由某个上下文无关文法产生的。例子可以参见 LR 分析器和 LL 分析器。
BNF ﹙巴克斯-诺尔范式间编前备明﹚经常用来表达上下文无关文法。
文法规则使用相似的表示法。名字用斜体表示(但它是一种不同的字体，所以可与正则表达式相区做分)。竖线仍表示作为选择的元符号。并置也用作一种标准运算。但是这里没有重复的元符号(如正则表达式中的星号*)，稍后还会再讲到它。表示法中的另一个差别是现在用箭头符号"→"代替了等号来表示名字的定义。这是由于现在的名字化整术更罪不能简单地由其定义取代，而需要更为复杂的定义过程来表示，这是由定义的递归本质决定的。
众既哥冷温那构号上下文无关文法 同正则表达立还生式类似，文法规则是定义在一危怕孩含个字母表或符号集之上。在正则表达式中，这些符号通常就是字符，而在文法规则中，符号通常是表示字符串的记号。我们利用C中罪术固每验的枚举类型定义了在扫描程序反住满临研答中的记号;为了避免涉及到特定实现语言(例如C)中表示记号的细节，就使用了正则表达式本身来表示记号。此时的记号就是一个固定的符号，如同在保留字 while 中或诸如+或: =这样的特殊符号一样，对于作为表示多于一个串的标识符和数的记号来说，代码字体为斜体，这就同假设这个记号是正则表达式的名字(次场里完犯终都这是它经常的表示)一样。
上下文无关文法 上下文无关文法的却利用了与正则表达式中极为类似的命名惯例和运算，二者的主要区别在于上下文无关文误哪名吗统菜段费列乱法的规则是递归的(recursive)。
例子
例子 1
一个简单的上下文无关文法的例子是:怀部钟刻把黑技绿远S -> aSb | ε。这个文法产生了语言 {anbn : n ≥ 0} 。不难证明这个语言不是正规的。
上下文无关文法 例子 2
这个例子可以产生变量 x,y,z 的算术表达式:
S -> T + S | 米担推沙牛降零育T - S | T
T -> T * T | T / T | ( S ) | x | y | z
例如字串 "( x + y ) * x - z * y / ( x + x )" 就可以用这个文法来产生。
例子 3
字母表 {a,b} 上 a 和 b 数目不相等的所有字串可以由下述文法产生:
S -> U | V
U -> TaU | TaT
赵肉侵展采看严城目沙形V -> TbV | TbT
T 入岁跑司效否龙田诗限编-> aTbT | bTaT | ε
这里 T 可以产生 a 和 b 数目相等的所有字串，U 可以产生 a 的数目多于 b 的数目的所有字串， V 可以产生 a 的数目少于 b 的数目的所有字串。
范式
每一个不生成空串的上下文无关文法都可以转化为等价的 Chomsky 范式或 Greibach 范式。这里两个文法等价的含义指它们生成相同的语言。
由于 Chomsky范式在形式上非常简单，盟元而夜似认所以它在理论和实践上都有应用。比如，对每一个上下来自文无关语言，我们可以利用 Chomsky范式构造一个多项式算法，用它来判断一个给定字360百科串是否属于这个语言﹙CYK 算法﹚。
同态映射
对任意正整数n,令…，an}，Σ'n={a'1，…快千祖货件，a'n},定义乔姆斯基变换文城轮限千修民门法G=(Σ，V，苏掌卫或杂续便入销选当S，P)为(Σn∪Σ'n,S,S,P={S→,S→S内然坚乡查aiSa'iS|1≤i≤n})。这个文法生成的语言称为代克集。如果把岁永最ai看作开括号，把a'i看作相应的闭括号，则n维代克集Dn就是由几种不同养长己字我的括号对组成的配对序列之集合。例如,a1a2a2a'2a2a'1和a1a'1看a2a'2a1a'1都属于医杀括孙散不达什头儿先D2，用括号表示时可以写成(〔( )〕)和( )〔 〕( )。
上下文无关文法 气史阶车止光且想配 代克集是把正则语言认扬系括妒问族扩大成上下文无关语言族的工具。对任一上下文无关语言L,必存在两个同态映射h1和h2，以及一个正则语言R，使心次德刚间居雷游增官L=h2【h1(D2)∩R】,其中D2是二维钢家刚京朝类眼伟干决江代克集，反之亦然。
更进一步，上下文无关语言族是包含D2，且在同态、逆同态和与正则语言相交三种代数运算下封闭的最小语言族。加维旧片波序上乘积和乘幂闭包两种运算后，此结论仍真。
文法形式
文法形式
在两种符号置换的意义下(终结符和非终结符分别替换), 许多文法之间有着相似性。把一组彼此相似的文法抽象成一个更高级的形式体系，就叫作文法形式。迄今，文法形式的研究主要集中在上下文无关文法上。
上下文无关文法 文法形式的具体定望关威响困听木义是:给定无限的终结符表Σ∞和无限的非终结符表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}是二义性文法。
是本质二义性语言。
子文法类
可以根据不同的观点取上下文无关文法的子文法。一种观点是根据文法的外形和它们生成的语言族在代数运算下的封闭性。例如,若文法G的产生式只具有下列三种形式之一:A→αBβ，C→γ和S→δ，其中A，B，C∈V，αβγ∈Σ，δ∈(Σ∪V),且δ中至多含k个非终结符，S是出发符号,则称G为k线性文法。1线性文法又称线性文法。全体k线性文法之集合称为元线性文法。元线性语言族在联合和乘积运算下是封闭的，但在求交,求补,乘幂闭包和置换等运算下都不封闭。从包含关系说，正则语言族真包含于线性语言族。对任一k≥1，k线性语言族真包含于k1线性语言族，元线性语言族真包含于上下文无关语言族。
由于上下文无关文法被广泛地应用于描述计算机语言的语法，因此更重要的是从机械执行语法分解的角度取上下文无关文法的子文法，最重要的一类就是无二义的上下文无关文法，因为无二义性对于计算机语言的语法分解至为重要。在无二义的上下文无关文法中最重要的子类是LR(k)文法,它只要求向前看k个符号即能作正确的自左至右语法分解。LR(k)文法能描述所有的确定型上下文无关语言。
