「LL法」の版間の差分

構文解析表を作成するためには、非終端記号 'A' がスタックのトップにあり、記号 'a' が入力バッファの先頭にある場合に適用すべき文法規則を決定しなければならない。そのような規則は''A'' → ''w'' という形式の規則が存在しであり、さらに''w'' という文字列のに対応する言語に、先頭にが 'a' の文字列がありう少なくとも1つ存在する場合に限られることは簡単であに分かる。このため、文字列 ''w'' の先頭になりうる終端記号の集合 (First-set) を '''Fi'''(''w'') で表す。また、''w'' が空文字列の可能性もある場合は'''Fi'''(''w'')に ε で表すを加える。''A''₁ → ''w''₁, ..., ''A''_''n'' → ''w''_''n'' という規則群から構成される文法があるとき、'''Fi'''(''w''_''i'') と '''Fi'''(''A''_''i'') を各規則について以下のように求める。