締切済み

言語理論とコンパイラについて質問です＞＜

2011/07/28 18:09

生成規則が以下のように与えられる．ここにΣ={id}、開始記号 Eである p1: E → TE' , p2: E'→ +TE', p3: E'→ ε p4: T → FT' , p5: T'→ *FT', p6: T'→ ε p7: F → (E) , p8: F → id 1. E,E',FについてのDirectorは以下の通りである．T,T'のDirectorを求めよという問題なのですが、　　Director(T, FT') = First(F)={ (, i }　　／／／／１　　Director(T',*FT') = { * }　　　　　　／／／／２　　Director(T',ε) = Follow(T')={ +, $, ) }　　／／／／３という解答例があるのですが1と３についてはどうも納得がいきません。１に関してはΣ={id}なのですから={ (, id }ではないでしょうか？３に関してはεのためFollow(T')となり要素として$はわかるのですが、+,)については納得がいきません。生成規則T → FT'からFollow(T')＝Follow(T)となりE'が要素にあげられるのではないでしょうか？しかしE'は非終端記号ですからこの後どうしていったら良いかはわかりません。ごちゃごちゃとしてしまいましたが、教えて下さい＞＜よろしくお願いします＞＜