Ich denke, du verwechselst hier die Eigenschaften von Sprachen und Grammatiken. Die von dir beschriebenen Grammatiken sind tatsächlich kontextfrei, aber nicht regulär, erzeugen jedoch reguläre Sprachen ( [tex='\{ab\}^+'][/tex]
bzw. [tex='\{aa\}^+'][/tex]
).