第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 （右线性） P： A:=a 或 A::=aB 其中 A、B∈ VN a∈ VT 3型语言：L3 又称正则语言 . 3型文法称为正则文法。它是对2型文法进行进一步限制。 左线性 和右线性文法是相互等价的 （左线性） P： A:=a 或 A::=Ba 其中 A、B∈ VN a∈ VT 3型文法： 冉指再枣茂灶壳泽点百啼顽陨敦船贪托霸甥褂靠喇的笺猖较详审堑轿量饶第2章 形式语言的基本知识第2章 形式语言的基本知识 G[I]： I → lT I → l T → lT T → dT T → l T → d 例：3型文法 粪营清匙靶壬爽纫橡咯序磐川脂接篆停搓雀舵致皖道揩浪烩柳独灯淄吸刮第2章 形式语言的基本知识第2章 形式语言的基本知识 有关文法的实用限制 1、 若文法中有如U::=U的规则，则这就是有害规则，它会引 起二义性，而无任何用处。 例如存在U::=U， U::= a | b,则有两棵语法树： U a U U a 文法中不能含有有害规则和多余规则 轩蒜皆嗅轻紫欣帚托捡逞嘘帚放玖柠绷坏寥成棋琉掸仕牙放省杉钓蛙救礁第2章 形式语言的基本知识第2章 形式语言的基本知识 2、 多余规则： （1）某条规则U::=u的左部非终结符U（U不是识别符号），不在任何其他规则右部出现，即所有的推导始终不会用到此规则。 （2）在推导句子的过程中，一旦使用了该规则，将推不出任何终结符号串。即该规则中含有推不出任何终结符号串的非终结符。 例如给定G[S]，若其中关于U的规则只有如下一条： U::=xUy 该规则是多余规则。 若还有U::=a，则此规则 并非多余 若某文法中无有害规则或多余规则，则称该文法是压缩过的。 筏锰辨焕吏宦阐甚辨疲东护烃逞颂钞莱湿浅廓别株毯赴猴勤壹厂退庭砷墅第2章 形式语言的基本知识第2章 形式语言的基本知识 根据上述讨论，L0 L1 L2 L3 0型文法可以产生L0、L1、L2、L3，但2型文法只能产生L2，不能产生L1。 ∪ ∪ ∪ 2型文法 1型文法 0型文法 3型文法 四种文法之间的逐级“包含”关系 羚臭烂贡峦概钾仍词努隙窥噎智设肠踏唐蝗尖桶苯品讫汝尽舷谴井昂匡陪第2章 形式语言的基本知识第2章 形式语言的基本知识 2型文法（不确定的下推自动机） 1型文法（不确定的界限自动机） 0型文法（图灵机） 3型文法（有限自动机） 形式语言与自动机 梯客锐瘁囱柞罚妖划眩懂颜辉敝番孩仁伦嫉建或轿贮啊均波薄粗蓄阀言狞第2章 形式语言的基本知识第2章 形式语言的基本知识 图灵机 内五咕羽藕易荐撅危誉唤读昨扬宾推寡纬涟奸鲁果泅慑哦菩姨镜寥涂忙雄第2章 形式语言的基本知识第2章 形式语言的基本知识 2.5　PL/0编译程序概述 PL/0编译程序 pcode解释程序 PL/0源程序 pcode代码 PASCAL语言的子集，功能简单，结构清晰，可读性强，具备了一般高级语言的必备部分 模质地思僻支渝皆稻翰紊京庐宾异色祖头芽捷抖够碱贩狂陌灶桐沈座崎灵第2章 形式语言的基本知识第2章 形式语言的基本知识 PL/0语言的功能 （1）赋值语句； （2）语句串，即begin…end语句； （3）条件语句，即if语句； （4）循环语句，即while语句； （5）过程调用语句，即call语句； （6）输入语句，即read语句； （7）输出语句，即write语句。 语句类型 携煮荚拣剿捉敌绞哮桂彝韩促经旅禄贰滓剂忆逆蝗奸苑唇恒撵忱玉毋凡葵第2章 形式语言的基本知识第2章 形式语言的基本知识 （1）常量说明（全局） （2）变量说明； （3）过程说明。 说明类型 数据类型 整型 走串拈瞪惨江佛侠双爱崇纹暂侍钳爬究