设G为算符优先文法,G的任意终结符对a、b有以下关系成立
A.若f(a)>g(b),则a>b
B.若f(a)
C.a~b都不一定成立
D. a~b一定成立
出自:信阳师范编译原理