LLパーザのこの左回帰を排除する方法

Question

次の型の左回帰をどのように排除しますか？私はこの特定のルールに一般ルールを適用することができないようです。

A -> aA' | bA' 
A' -> A' | epsilon 

まだ再帰を残している：あなたが得る排除ルールを使用することにより

A -> A | a | b 

。

これは、文法がLL（1）であるかどうかについて何かを言いますか？

ありがとうございます。ルール

→

は、ある意味で、完全に無用である

Answer 1

注意。この規則を適用するための導出には何もしません。その結果、文法の内容を変更することなく文法から安全に削除することができます。この葉は

A → a | b

これはLL（1）です。