Abschlusseigenschaften der regulären Sprachen

Einfache Sprache

Die Klasse der regulären Sprachen ist unter booleschen Operatoren abgeschlossen.

Def. Abschlusseigenschaften der regulären Sprachen

Sei $L_1,L_2$ Reguläre Sprache. Dann sind $L_1\cup L_2, L_1\cap L_2, \overline{L_1}$ auch regulär.

Das wird gezeigt z.B. durch die Vereinigung von regulären Sprachen