标签:标示符 http 规范 while 一个 分析 复合 就会 write
1、梳理第二章的内容,写一篇理解与总结。
第二章中:文法的形式定义 上下文无关文法、正规文法 推导、短语、分析树、二义性 有限自动机的形式定义 自动机、文法、表达式等价性 NFA的确定化和DFA的最小化。
文法的理解是:文法是对语言结构的定义与描述,即从形式上描述和规定语言结构,称之为语法
而语法也有它的规则:通过建立一组规则(产生式),来描述句子的语法结构。
在课堂上听老师讲课,较为熟悉的是文法四元组、推导、句型、短语之类。
在习题上,推导是比较熟悉的,给予一个特定的句型,通过推导来把这个句子弄出来,但是如果只是单单看书本上的概念和描述,就会非常抽象,因为定义的东西多,而且看得我乱七八糟,还是通过老师上课讲述和习题的练习才能理解。
不过到目前为止,上下文语法我是不太清晰。同时在推导中,还要特别注意的是最右推导也称之为规范推导,而最左推导只有一个定义也就是 最左推导。在做语法树、句型、短语、直接短语中,语法树就要求规范推导(最右推导),理解了什么是短语,什么是句柄跟直接短语后,就可以在语法树上直接看出答案来。
在文法二义性中,还是不太熟悉,不过在网上找到相关文法二义性的消除的习题讲解后,就理解这种习题该如何推导。
在语言构造文法中,对于文法的构造还是不熟练。
总的来说,第二章内容不算复杂,只要自己理解了,做起来就很容易,但容易部分知识的内容概括的太抽象,一堆的符号串跟字母串的描述看不太懂。
2、
尝试写出PL/0 语言的文法。
整数n
标识符i
表达式e
条件语句
赋值语句
复合语句
函数
程序
...
参考于 http://www.doc88.com/p-9713794071234.html
由于不会,就上网查询
<程序>-><分程序>
<分程序>->[<常量说明部分>][<变量说明部分>][<过程说明部分>] <语句>
<常量说明部分>->CONST<常量定义>{,<常量定义>};
<常量定义>-><标示符>=<无符号整数>
<无符号整数>-><数字>{<数字>}
<变量说明部分>->VAR<标示符>{,{标示符}};
<标示符>-><字母>{<字母>|<数字>}
<过程说明部分>-><过程首部><分程度>;{<过程说明部分>}
<过程首部>->procedure<标示符>;
<语句>-><赋值语句>|<条件语句>|<当型循环语句>|<过程调用语句>|<读语句>|<写语句>|<复合语句>|<空>
<赋值语句>-><标示符>:=<表达式>
<复合语句>->begin<语句>{:<语句>}<end>
<条件>-><表达式><关系运算符><表达式>|ood<表达式>
<表达式>->[+|-]<项>{<加减运算符><项>}
<项>-><因子>{<乘除运算符><因子>}
<因子>-><标识符>|<无符号整数>|(<表达式>)
<加减运符>->+|-
<乘除运算符>->*|/
<关系运算符>->=|#|<|<=|>|>=
<条件语句>->if<条件>then<语句>
<过程调用语句>->call<标识符>
<当型循环语句>->while<条件>do<语句>
<读语句>->read(<标识符>{,<标识符>})
<写语句>->write(<标识符>{,<标识符>})
<字母>->a|b|c....x|y|z
<数字>->0|1|2....7|8|9
标签:标示符 http 规范 while 一个 分析 复合 就会 write
原文地址:https://www.cnblogs.com/jinwhy/p/11577424.html