Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2011 / Formale Sprachen und Komplexität / Hinweise zur Ergebnisüberprüfung der Aufgaben 3-2 und 3-3


Inhaltsbereich

Hinweise zur Ergebnisüberprüfung der Aufgaben 3-2 und 3-3

In den Aufgaben 3-2 und 3-3 sind – wenn man Zwischenergebnisse vereinfacht – viele verschiedene reguläre Ausdrücke als Ergebnis möglich und es ist recht schwer, diese per Hand auf ihre Korrektheit zu prüfen. Deshalb stellen wir hier ein Programm zur Verfügung, welches Antworten automatisch auf Korrektheit prüft. Sie können Ihre Antwort damit selbst überprüfen.

Aufgabe3_2.jar

Ist Ihre Antwort zum Beispiel ba*(ba + ε)* + a, so können Sie diese durch folgenden Programmaufruf überprüfen.

java -jar Aufgabe3_2.jar "ba*(ba+())*+a"

Die Ausgabe sollte dann sein, dass diese Antwort nicht richtig ist, da das Wort a in der Sprache dieses regulären Ausdrucks ist.

In der ASCII-Darstellung von regulären Ausdrücken ist ε durch () dargestellt und ∅ entspricht #. Im obigen Ausdruck sind einige Klammern weggelassen. Er könnte auch geschrieben werden als (b(a*)((ba) + ())*) + a.

Artikelaktionen


Funktionsleiste