私は現在、暇なときにドラゴンブックを読んでいます。この本は、文法がLLであると述べているのは、プロダクションA-> a | bの場合に限り、次の2つの条件が当てはまる場合です。
1）FIRST（a）とFIRST（b）は互いに素です。これは、両方がEMPTYを導出できないことを意味します
2）「b」がEMPTYを導出できる場合、「a」はFOLLOW（A）で始まる文字列を導出できません。
LLパーサーは一般に左再帰を処理できないことは知っていますが、文法を作成すると
S-> S（S）| 空、
FIRST（S）= {'（'}およびFOLLOW（S）= {EOF}。これは2つのルールのいずれにも矛盾しないようですが、何かが足りませんか？
よろしくお願いします、マイケル