正規LR法
LR(1)アイテムの先読みはreduceアクション時(つまり、• の目印が右端にある場合)のみ直接使用される。
LR(1)アイテム [S → a A • B e, c] のコア (core) とは、LR(0)アイテム S → a A • B e のことである。異なるLR(1)アイテムが同じコアを共有する場合もある。
例えば、アイテム集合2では
[E → T •, $]
[T → T • + n, $]
[T → T • + n, +]
となり、構文解析器は次の記号が$ならば還元 [E → T] を要求されるが、次の記号が'+'ならばシフトを要求される。LR(0)構文解析器はアイテムのコアのみを考慮するためこの決定ができず、shift-reduce衝突を報告することに注意されたい。
[A → α • X β, a]を含む状態はラベルXで[A → α X • β, a]を含む状態に遷移する。
それぞれの状態はGOTO表にしたがう遷移をもつ。
[T → n •, +]
[T → n •, )]
アイテム集合4(終端記号'+')
[T → + • T, $]
[T → + • T, +]
[T → • n, $]
[T → • n, +]
[T → • + T, $]
[T → • + T, +]
[T → • T + n, $]
[T → • T + n, +]
...
アイテム集合5(終端記号'(')
[E → ( • E ), $]
[E → • T, )]
[E → • ( E ), )]
[T → • n, )]
[T → • n, +]
[T → • + T, )]
[T → • + T, +]
[T → • T + n, )]
[T → • T + n, +]
...
アイテム集合2、4および5からさらにいくつかのアイテム集合が作成される。完全なリストはかなり長いためここでは述べない。この文法の詳細なLR(k)での扱いは例えばに示されている。