LR
Left to Rightで
parse
して
右端導出
を行う
パーサ
手書きでは作成が困難なため、
Bison
や
yacc
等の
パーサジェネレータ
を使う
状態遷移テーブルから次の状態を決め、最終的な文法を決める
LR
の
構文解析
器を作成するには
BNF
レベルで文法の曖昧さをなくす必要がある
形式言語理論
や
オートマトン
といった
コンピュータサイエンス
の理論に基づく