第2章 形式语的基本知识.pptVIP

S→aSBE S→aBE BE→bE aB→ab bB→bb bE→be eE→ee 例：2型（上下文无关）文法 文法G[S]： S→AB A→BS|0 B→SA|1 　　　　　　 S→ε G[S]： S→0A|1B|0 A→0A|1B|0S B→1B|1|0 标识符（字母开始的字母数字串）的有效长度是10 数字最多为14位 过程无参，可嵌套（最多三层）定义，可递归调用 变量的作用域同PASCAL 13个保留字：if, then, while, do, read, write, call, begin, end, const, var, procedure, odd 2型（上下文无关）文法 文法G[S]： S→0A|1B A→1S|1 B→0S|0 该文法产生的语言为：L(G[S])={anbn|n≥1} （右线性） P： A:=a 或 A::=aB 其中 A、B∈ VN a∈ VT 3型语言：L3 又称正则语言 . 3型文法称为正则文法。它是对2型文法进行进一步限制。 左线性 和右线性文法是相互等价的 （左线性） P： A:=a 或