various trivial grammars