context-free monoidal language regular monoidal language monoidal Chomsky-Schutzenberger representation theorem normalization of contour of a seqpar signature seqpar signature
