LL解析器語法

Question

我在下面有這個語法，試圖找出是否可以使用LL解析器進行解析？ 如果沒有，請解釋。

S --> ab | cB
A --> b | Bb
B --> aAb | cC
C --> cA | Aba

據我了解，兩組的交集必須為空才能通過成對的不相交性測試。

但是我不確定從哪里開始，並且一直在瀏覽我的教科書和http://en.wikipedia.org/wiki/LL_parser#Parsing_procedure，但無法完全理解或找到后續的例子。 我只需要查看過程或步驟，以了解如何解決此問題。 任何幫助表示贊賞。

Answer 1

計算所有非終結點的FIRST集，並檢查給定非終結點的備選集的FIRST集是否全部不相交。 如果全部為LL，則為LL，如果有非終結點，則為LL。 如果有任何ε規則，則也需要FOLLOW集。

計算FIRST ₁集非常容易，它會告訴您語法是否為LL（1）。 計算FIRST _k集要花很多時間，但是會告訴您對於計算FIRST _k集的任何特定k語法是否為LL（k）。