One rule per line: A -> alpha1 | alpha2. Arrows can be ->, → or ::=.
Leave a space between symbols. Epsilon is ε, eps, or λ.
Anything starting with a capital letter counts as a non‑terminal.
answer key
Nothing computed yet — hit "Execute" on the left.
margin notes — how each set got there
The reasoning shows up here, line by line, once you compute.