算符優先分析不是一種規范規約法,但是該方法特別有利於表達式分析,宜於手工實現。
算符優先分析法和計算的過程相同,由此判斷一個符號的左右符號優先級,從而確定是否可以規約。
對於任何兩個可能相繼出現的終結符 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。
由此可以構造出優先表。