算符优先分析不是一种规范规约法,但是该方法特别有利于表达式分析,宜于手工实现。
算符优先分析法和计算的过程相同,由此判断一个符号的左右符号优先级,从而确定是否可以规约。
对于任何两个可能相继出现的终结符 a 和 b ,它们之间的优先关系无非 >、=、<三种关系。
需要注意的是a<b,并不意味着 b > a,a=b并不意味着 b = a 。这是因为与它们在规约的前后相对位置也有非常大的关系。这在之后构造的算符优先表中可以看出。
要构造算符优先表。先要搞清楚两个集合的概念:
1、FIRSTVT(P) ={ a | P =>a……或 P=>Qa……,a为终结符,Q为非终结符 }
2、LASTVT(P)={ a | P=>……a 或 P=>……aQ ,a为终结符,Q为非终结符 }
构造FIRSTVT集的方法
(1)、若有产生式P =>a……或 P=>Qa……,则 a 属于FIRSTVT(P)
(2)、若 a 属于FIRSTVT(Q) , 且有产生式 P=>Q…… ,则 a 属于 FIRSTVT(P)
同理构造相应的LASTVT集。
有了这两个集合,我们根据下面三条准则来判断两个终结符直接的算符优先关系。
(1)、a=b ,当且仅当文法G中含有形如 P=>……ab……或 P=>……aQb……的产生式;
(2)、a<b,当且仅当G中含有形如 P=>……aR……,而 R =>b……或 R =>Qb……;
(3)、a>b,当且仅当G中含有形如 P=>……Rb……的产生式,而R=>……a 或 R=>……aQ。
由此可以构造出优先表。