Kontextsensitive Sprachen

<math> a^m b^m c^m\ , m = 0 , ... , n \in N </math>

Abgeschlossen bzgl:

• <math> \cup\ </math> Vereinigung
• <math> \cap\ </math> Schnitt
• <math> ^- </math> Komplement
• <math> \circ\ </math> Verknüpfung
• <math> *\ </math> Sternhülle