上下文无关文法

1. 梳理第二章的内容，写一篇理解与总结。 一、 对程序设计语言的描述从语法、语义和语用三个因素考虑： 语法：对语言结构的定义； 语义：语言的含义； 语用：从使用的角度描述语言。 形式语言理论是编译的理论基础。 二、 字母表：元素的非空有穷集合； 符号/字符：字母表中的元素； 符号串：符号的有穷序列。 三、 符号串运算： 符号串的连接：εx=xε=x； 集合的乘积：AB={xy|x∈A,y∈B}；{ε}A=A{ε}=A； 符号串的幂运算：x=abc,x^2=abcabc; 集合的幂运算 正闭包A+与闭包A*：A*={ε}∪A+ 四、 形式语言：字母表上按照某种规则构成的所有符号串的集合，其不考虑语义。描述形式语言的方式有两种： 枚举——当语言为有穷集合时； 文法——描述了无穷集合的语言。 五、 文法：G=(Vn,Vt,P,S) 规则P：也称为产生式，是一个符号与一个符号串的有序对(A,β) 　　A→β 　　i. 一组规则定义了一个语言的语法结构； 　　ii. 规则中出现的符号分为终结符号和非终结符号 b) Vn为非终结符(non-terminate)； c) Vt为终结符(terminate)； d) S为非终结符号，称为文法的开始符号/识别符号，至少要在一条规则的左部出现。 六、 推导：推导的依据是规则 a) 直接推导：仅使用一次规则； b) 推导：至少使用一次规则； c)

1. 梳理第二章的内容，写一篇理解与总结。 第二章主要讲的是文法和语言，学习了文法的直观概念、符号和符号串、文法和语言的形式定义、文法的类型、上下文无关文法及其语法树、句型的分析等重点知识。通过本章的学习，我对编译原理这门课有了更多的了解，对编译原理的思维方法和逻辑思路有了初步了解。学习了文法的类型，分为0型文法、下上文有关的和上下文无关的。学习了语法树相关的知识，最右推导异常被称为规范推导。如果一个文法存在某个句子对应两棵不同的语法树，则要这个文法是二义的。 2. 尝试写出PL/0 语言的文法。 整数n 标识符i 表达式e 条件语句 赋值语句 复合语句 函数 程序 ... 来源： https://www.cnblogs.com/zzj420133722/p/11577190.html

1.已知文法： S->a|^|(T) T->T,S|S 分析句型（T,(^,a))，求全部的短语、直接短语和句柄。 推导：S->(T)->(T,S)->(T,(T))->(T,(T,S))->(T,(S,S))->(T,(^,S))->(T,(^,a)) 语法树： 全部短语 (T,(^a)) T,(^,a) (^,a) ^,a ^ a 直接短语 a ^ 句柄 ^ 2.构造上下文无关文法，描述语言： ｛a n b n |n>=0｝ ｛a m b n |m>=n>=0｝ if语句 设文法：G(T)：T->a n b n |ε if（n=0） T->ε else if(n>0) T->a n b n (2)文法：G(T)：T->a m b n |ε if（m=n=0） T->ε else if(m=n>0) T->a n b n 或T->a m b m else if(m>n>0) T->a m b n else T->a m |ε 来源： https://www.cnblogs.com/SZZZ/p/11551748.html

1.已知文法： S->a|^|(T) T->T,S|S 分析句型（T,(^,a))，求全部的短语、直接短语和句柄。 答： 推导：S => (T) => (T,S) => (T,(T)) => (T,(T,S)) => (T,(S,S)) => (T,(^,S)) => (T,(^,a)) 语法树： 全部短语：（T,(^,a))　　T,(^,a)　　(^,a)　　^,a　　^　　a 直接短语： ^　　a 句柄： ^ 2.构造上下文无关文法，描述语言： ｛anbn|n>=0｝ ｛ambn|m>=n>=0｝ if语句 答： （1）设文法 G(T)：T->ab|aTb|ε if(n>0) 　　T->ab|aTb else 　　G(T) - > ε （2）设文法G(T)：T->ab|a|aTb|ε if(m>=n=0) 　　G(T) ->ab|aTb else if(m>=n>0) 　　G(T) ->aTb 来源： https://www.cnblogs.com/dreww/p/11551413.html

1.已知文法： S->a|^|(T) T->T,S|S 分析句型（T,(^,a))，求全部的短语、直接短语和句柄。 直接短语：^、a 短语:^ 、a 、^,a 、(^,a) 、T,(^,a) 、（T,(^,a)) 句柄：^ 2.构造上下文无关文法，描述语言： ｛anbn|n>=0｝ ｛ambn|m>=n>=0｝ if语句 (1)设文法G(S):S -->anbn | ε 　if(n>0) 　　S--->anbn 　else 　　S---->ε (2)设文法G(S): S-->ambm | ambn | ε if(m>0&&n>0){ 　　if(m>n) 　　　　S-->ambn; 　　else if(m==n) 　　　　S--->ambm; 　　else 　　　　S--->ε; } 　else 　　S--->ε 来源： https://www.cnblogs.com/INacl/p/11550559.html

1.已知文法： S->a|^|(T) T->T,S|S 分析句型（T,(^,a))，求全部的短语、直接短语和句柄。 该题语法树如下： 全部短语：^ ， a ， ^,a ，（^,a）， T,（^,a）， (T,（^,a）) 直接短语：^ ， a 句柄： ^ 2.构造上下文无关文法，描述语言： ｛anbn|n>=0｝ ｛ambn|m>=n>=0｝ if语句 (1)设文法G(S):S -->anbn | ε 　if(n>0) 　　S--->anbn 　else 　　S---->ε (2)设文法G(S): S-->ambm | ambn | ε if(m>0&&n>0){ 　　if(m>n) 　　　　S-->ambn; 　　else if(m==n) 　　　　S--->ambm; 　　else 　　　　S--->ε; } 　else 　　S--->ε 来源： https://www.cnblogs.com/xiaoAP/p/11550159.html

1.已知文法： S->a|^|(T) T->T,S|S 分析句型（T,(^,a))，求全部的短语、直接短语和句柄。 S => (T) => (T,S) => (T,(T))=>(T,(T,S)) => (T,(T,a)) => (T,(S,a)) => (T,(^,a)) 2.构造上下文无关文法，描述语言： ｛a n b n |n>=0｝ ｛a m b n |m>=n>=0｝ if语句 设文法：G(T)：T->a n b n |ε if（n=0） T->ε else if(n>0) T->a n b n (2)文法：G(T)：T->a m b n |ε if（m=n=0） T->ε else if(m=n>0) T->a n b n 或T->a m b m else if(m>n>0) T->a m b n else T->a m |ε 来源： https://www.cnblogs.com/xwc520/p/11549229.html

1.已知文法： S->a|^|(T) T->T,S|S 分析句型（T,(^,a))，求全部的短语、直接短语和句柄。 答： S → (T) → (T,S) → (T,(T)) → (T,(T,S)) → (T,(S,S)) → (T,(^,a)) 短语： ^ a ^,a (^,a) T,(^,a) (T,(^,a)) 直接短语： ^ a 句柄： ^ 2.构造上下文无关文法，描述语言： ｛anbn|n>=0｝ ｛ambn|m>=n>=0｝ if语句 答：(1)文法：G(T) ：T → ab | aTb | ε if(n = 0) T → ε else T → ab | aTb (2)文法：T → a | aTb | ε if( m = n = 0) T → a | ε else T → aTb 来源： https://www.cnblogs.com/chenjd/p/11548562.html

1.已知文法： S->a|^|(T) T->T,S|S 分析句型（T,(^,a))，求全部的短语、直接短语和句柄。 推导：S->(T)->(T,S)->(T,(T))->(T,(T,S))->(T,(S,S))->(T,(^,S))->(T,(^,a)) 语法树： 全部短语 (T,(^a)) T,(^,a) (^,a) ^,a ^ a 直接短语 a ^ 句柄 ^ 2.构造上下文无关文法，描述语言： ｛a n b n |n>=0｝ ｛a m b n |m>=n>=0｝ if语句 设文法：G(T)：T->a n b n |ε if（n=0） T->ε else if(n>0) T->a n b n (2)文法：G(T)：T->a m b n |ε if（m=n=0） T->ε else if(m=n>0) T->a n b n 或T->a m b m else if(m>n>0) T->a m b n else T->a m |ε 来源： https://www.cnblogs.com/cyxxixi/p/11547839.html

1.已知文法： S->a|^|(T) T->T,S|S 分析句型（T,(^,a))，求全部的短语、直接短语和句柄。 答：由题得：S->(T)->(T,S)->(T,(T))->(T,(T,S))->(T,(S,S))->(T,(^,S))->(T,(^,a)) 语法树： 短语有：^,a 　　^ 　　a　　(^,a)　　　T,(^,a)　　(T,(^,a)) 直接短语有： ^　　a 句柄为：^ 2.构造上下文无关文法，描述语言： ｛anbn|n>=0｝ ｛ambn|m>=n>=0｝ if语句 答： （1）文法：G(T):T->ab|aTb|ε if语句： 当n>=0时: if (n>0) then T->ab|aTb else T->ε （2）文法：G(T):T->aTb|a|ε 当m>=n>=0时： if 语句： if (m>=n>0): then T->aTb else if (m>=n=0) T->ε|a 来源： https://www.cnblogs.com/tao614/p/11532698.html