Beim Einstieg ins Thema hilft uns ein endlicher Automat, eine korrekte Zugverbindung zu finden. Lassen wir die Definition des deterministischen endlichen Automaten mehr Freiheiten, stossen wir auf nichtdeterministische endliche Automaten und solche mit spontanen Übergängen. Um weitere Aufgabenstellungen lösen zu können, erweitern wir einen endlichen Automaten um einen endlosen Speicher. Doch dieser sogenannte Kellerautomat genügt noch immer nicht, um alle Aufgaben lösen zu können.

Hier finden Sie weitere Übungen zur Automatentheorie. Diese sind freiwillig und enthalten keine gänzlich neuen Übungen.

Was sind formale Sprachen und aus welchen Komponenten bestehen sie? Wann gehört ein Wort zu einer Sprache? Diese Fragen klären wir und stossen dabei auf das Konzept der regulären Ausdrücke und deren Syntaxdiaramme.

Hier finden Sie weitere Übungen zur formalen Sprache. Diese sind freiwillig und enthalten keine gänzlich neuen Übungen.

Hier lösen wir auf, für was all die gelernten Konzepte sind: Sie sind akzeptierende, beziehungsweise beschreibende Mechanismen, die Entscheidungsprobleme lösen.

Hier finden Sie weitere Übungen zu Entscheidungsproblemen. Diese sind freiwillig und enthalten keine gänzlich neuen Übungen.