Von der Mustererkennung mit endlichen Automaten zu regulären Ausdrücken

Verfasst von Raimond Reichert

Motivation

Die Mustererkennungsaufgaben von Kara haben aufgezeigt, wie endliche Automaten Muster erkennen können und welche Art Muster sie erkennen oder eben auch nicht erkennen können. Als Überleitung zur formalen Notation von regulären Ausdrücken sollen die Aufgaben von Exorciser helfen, den Zusammenhang zwischen endlichen Automaten und regulären Ausdrücken kennenzulernen.

Ziel

Automaten erstellen können, die einfache reguläre Muster erkennen.

Ablauf

1 Lektion	Vortrag	Einführung ins Thema reguläre Ausdrücke Demo Einsatz von Exorciser
3 Lektionen	Übung	Aufgaben für Exorciser, Teil 1: » Navigieren Sie in Exorciser zu "Reguläre Sprachen » Automatenkonstruktion" » Lösen Sie einige Aufgaben der Kategorie "L = { w | w beginnt mit ... }" » Lösen Sie einige Aufgaben der Kategorie "L = { w | w beinhaltet ... }" Aufgaben für Exorciser, Teil 2: » Navigieren Sie in Exorciser zu "Reguläre Sprachen » Reguläre Ausdrücke in endliche Automaten überführen" » Lösen Sie einige Aufgaben, fangen Sie mit einfachen Sprachen wie a, ab, a*, a*b, a*b*, a|b, (ab)* an, bevor Sie die generierten Aufgaben lösen

Downloads

Programm Exorciser runterladen / starten (Vincent Tscherter)

JAR [1 MB]

Links

Homepage von Exorciser: Automatisches Generieren und Korrigieren von strukturierten Übungen zur theoretischen Informatik (Vincent Tscherter)