reverse grammars
representation of nonterminals, alternating containment check