设G为算符文法，a =…aUb…或α =…ab…是G的一个句型(a, b∈VT,UEVN)，则算符优先关系aOb至少有一个成立。
证 对于a=…aU…是句型，必有ST*a(=…aU…)T+…ab….即在归约过程中,b先于a被归约,从而, a
举一反三
内容
- 0
设G为算符优先文法，u是G的某一句型的短语，再设u中含有终结符号b1, b2,…, bn (n≥1)，且满足biO= bi+1 (1≤i≤n-1)，试证明，u是该句型的一个素短语。
- 1
算符优先分析法只能用来分析算符优先文法。
- 2
任何一个二义性文法一定不是LR类文法，也不是一个算符优先文法。
- 3
设文法G(S)： S→SiA|A A→A+B|B B→)A*|( 1）构造各非终结符的FIRSTVT和LASTVT集合； 2）构造算符优先关系表。
- 4
任何算符优先文法的句型中不会有两个相邻的非终结符号。()