A language to generate all strings that have more a\'s than b\'s (not necessarily only one more, as with the nonterminal A for the language EQUAL, but any number more a\'s than
