计算理论课件第三章-公开课件（设计）.pptVIP

上下文无关文法（CFG）在程序设计语言和编 译原理中有着重要的应用，因为上下文无关文法 可以用来阐述绝大多数的程序设计语言的句法结 构。此外上下文无关语言也可以作为描述语言翻 译方案的基础。 本章重点讨论: CFG的简化 CFG的两种范式 下推自动机（PDA）的概念 PDA与CFG之间的等价转换 上下文无关语言运算的封闭性 以及CFL的有关判定问题。 3.1 上下文无关文法的派生树(推导树) 一个上下文无关文法中的一个句型的派生过程可以用 —棵树来描述。 【例3-1.1】 给定文法G=({S,A},{a,b},P,S)，其中 P： S?aAS|a, A?SbA|ba|SS。句型aabbaa的派生过程就可以 用一棵树来描述，如图3-1.1 所示。将此树的叶结点符号 从左到右读取下来构成的符 号串就是aabbaa。 1．派生树的定义 设文法 G =(ＶＮ,ＶＴ,Ｐ,S)是上下文无关文法, 如果一棵有序树满足下面四个条件，则它是棵派生树： (1) 它的每个结点标记的符号是(ＶＮ∪ＶＴ∪{ε}) 中的符号； (2) 根结点标记开始变元S； (3) 内结点标记的符号是变元，即是ＶＮ中的符号。 (4) 如果一个内结点标记为A，且X1,X2,…,Xk是A的从左 到右的所有子结点, 则A?X1X2…Xk是P中一个产生式。 (5) 如果一个结点标记符