Output, no outgoing productions.
Where A is a single nonterminal symbol, α is a string of terminals / nonterminals / empty.
A
α