编译原理讲义文法与语言课件.pptVIP

有穷自动机例子 a a c b b abcabcaabc 2型语言与下推自动机 任何一个2型语言都可以使用一个下推自动机来识别。 下推自动机相当与一个有穷自动机和一个栈。自动机的每一步动作根据栈顶的符号，当前读入的符号，一个有限控制器的当前状态来确定，可以包括读入符号，压栈，出栈，和确定接受。 形式语言与程序设计语言 虽然程序设计语言的语法都使用上下文无关文法来描述，但是通常语言都是上下文相关的。 使用上下文无关文法描述语言的原因是：存在高效处理上下文无关文法的技术。 关于CFG的进一步讨论 Chomsky范式：所有的上下文无关语言都可以用如下形式的文法产生：所有的规则都形如：U ::= VW 或者 U::=T，其中U,V,W为非终结符号，T为终结符号。 Greibach范式：所有上下文无关语言都能由这样的文法产生：U::=Tu，这里U为非终结符号，T为终结符号。 关于CFG的进一步讨论 自嵌套：一个上下文无关文法为自嵌套的，如果存在一个非终结符号U满足: U =* xUy，且x,y非空。 定理2.6 若一个CFG G[Z]不是自嵌套的，那么L(G)必然是一个正则语言。 但是，自嵌套的上下文无关文法也可能产生正则语言。例:P35页 关于推导的性质 定理2.7 对于CFG，如果存在句型x=x1x2…xn且x=*y，必然存在y1,y2,…,yn使得: xi=*yi且y= y1y