先読み終端記号の決定
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/01/06 06:08 UTC 版)
アイテム集合0からFollow集合が以下のように得られる。 Follow(0,S) = { $ } Follow(0,E) = { $, ')'} Follow(0,T) = { $, '+', ')' } ここから、LR(1)法での完全なアイテム集合0は、LR(0)アイテム集合の各アイテムについて、左辺にある非終端記号のFollow集合内の各終端記号に対するコピーを作成することで作成できる。Follow集合の各要素は有効な先読み終端記号である。 [S → • E, $] [E → • T, $] [E → • T, )] [E → • ( E ), $] [E → • ( E ), )] [T → • n, $] [T → • n, +] [T → • n, )] [T → • + T, $] [T → • + T, +] [T → • + T, )] [T → • T + n, $] [T → • T + n, +] [T → • T + n, )]
※この「先読み終端記号の決定」の解説は、「正規LR法」の解説の一部です。
「先読み終端記号の決定」を含む「正規LR法」の記事については、「正規LR法」の概要を参照ください。
- 先読み終端記号の決定のページへのリンク