example of regular monoidal grammar monoidal Chomsky-Schutzenberger representation theorem monoidal context-free to monoidal regular