相同算符优先极怎么比较？？

[luost]

如
s－>SaT

可以推出a>a；这是怎么推出的，我按定义应该是a<a呀！！！

[liujinming513]

当然是a>a拉
因为 s->saT
即:s->sa.....
s->......aT

[toyjoy]

不能那样看！

不能把a看成b


规定就是a>a

[toyjoy]

你把定义再看看！！

[luost]

好，今天回去再好好看看

[liuyixian2000]

确定算符优先关系的两个相关概念：
引进几个关系，A，B∈VN，a，b∈VT
1.A FIRSTt a：当且仅当存在产生式A→a…或A→Ba…（一步）
2.A LASTt a：当且仅当存在产生式A→…a或A→…aB （一步）
3.A FIRSTt+ a：当且仅当存在推导
A→…a或A→…aB（一步或多步）
4.A LASTt+ a：当且仅当存在推导
A→…a或A→…aB（一步或多步）
计算FIRSTt+ (A)的方法:
1.若有产生式A→a…或A→Ba…，A，B∈VN，a，b∈VT，则将a加入FIRSTt+ (A)
2.对于产生式A→B…，则将FIRSTt+ (B)加入FIRSTt+ (A)
3.重复上述过程，直至FIRSTt+ (A)不再增大
计算LASTt+ (A)的方法:
1.若有产生式A→…a或A→…aB，A，B∈VN，a，b∈VT，则将a加入LASTt+ (A)
2.对于产生式A→…B，则将LASTt+ (B)加入LASTt+ (A)
3.重复上述过程，直至LASTt+ (A)不再增大

[huangxiaoke2000]

看成一棵语法树就行啦，当然是a>a
S－>SaT
先是规约S,而S中又有a，所以a>a

[luost]

你推导是对的，当得出的结论应该是a(前)<a（后），按定义来说，s->......aT中的a(后)相当于b,应该是a<b,即a(前)<a（后）。

[luost]

明白了，散分！！谢谢各位