Unit production (source code)

= Unit production
{title2=$A\to B$}

A unit production replaces one nonterminal by one nonterminal and emits no terminal symbols.