E -> E + T | T.
A symbol is a non-terminal iff it appears on some left-hand side.
Empty right-hand side (or eps / ε) is ε.
A trailing . is allowed, so Grammophone-style files paste in directly.
Click a highlighted problem to rewrite it — or let the tool apply every rewrite and step through the result
Recomputed for the grammar shown at left; conflicting rule pairs are flagged
The same string under the grammar as loaded and under the grammar as transformed