Editing Canonical LR parser (section)

=== Determining lookahead terminals ===
Within item set 0 the follow sets can be found to be:
: FOLLOW(0,S) = { $ }
: FOLLOW(0,E) = { $, ')'}
: FOLLOW(0,T) = { $, '+', ')' }
From this the full item set 0 for an LR(1) parser can be created, by creating for each item in the LR(0) item set one copy for each terminal in the follow set of the LHS nonterminal. Each element of the follow set may be a valid lookahead terminal:
: [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, )]