编译原理之理解语法树、短语、直接短语和句柄 |
您所在的位置:网站首页 › 最左直接短语怎么求 › 编译原理之理解语法树、短语、直接短语和句柄 |
短语书上的定义如下: 书上写的比较抽象,我这里简单解释一下,有两个文法,分别是: S=*=>aAp (由于部分字符难以输入,在此用a,b,p代替) A=+=>b我们由此可以画出他的抽象语法树,如下: 那么,abp为此句型的短语 总结来说:一个句型的语法树中任一子树叶结点所组成的符号串都是该句型的短语,由这概念,那么我们自然可以想到,b也应该是该句型的一个短语。
直接短语书中的定义: 书中的意思总结来说,指的是如果子树中不再包含其他的子树,即A只能推导出b,而b不能再推出其他的式子,则b为此句型的直接短语
句柄先来看一下书中的定义: 书中的意思就是:直接短语中的最左直接短语为该句型的句柄。
小练习
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)) 此文法的抽象语法树为:
由此可得S=(S, (T), b)为此文法的一个句型: 短语: ^; a; ^, a; (^, a); T, (^, a); (T, (^, a)); 直接短语:^; a; 句柄:^ 此时的最左直接短语是^所以句柄为^
2.构造上下文无关文法,描述语言: (1){anbn|n>=0} a, b个数相等,即可得 S -> aSb l ab | ε (2){ambn|m>=n>=0} a个数大于b,即可得 S -> aS l A A -> aAb | ε (3){(ab)n|n>=0} A -> ab S -> (A)S | ε
(4){ambn|m,n>=1} S -> aSb|aS|Sb|ab
(5)if语句 if => if then | if then else
3.如果if语句的方法: stmt -> if expr then stmt | if expr then stmt else stmt | other 句子if E1 then if E2 then S1 else S2是否有两棵不同的语法树?说明了什么? 有两颗语法树,分别如图
说明原语法树是二义的
参考链接:https://blog.csdn.net/m0_37154839/article/details/80229211 |
今日新闻 |
推荐新闻 |
CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |