negation, 148 NFA, see finite automaton nonassociative operator, 74 nonterminal symbol, 40 nullable symbol, 47-50, 52