Wie kann ich mit Hilfe des XWizards reguläre Ausdrücke vergleichen?

Question

für Tutorium 2, Aufgabe 3 a) habe ich folgendes Ergebnis: 0*1(0+1)*, in der Lösung wird (0+1)*1(0+1)* angegeben (die Sprache soll einfach nur mindestens eine 1 beinhalten). Wenn ich jetzt mit Hilfe des X Wizards zwei Reguläre Ausdrücke vergleichen möchte, versteh ich noch nicht so ganz wie das geht. Die Konversionsmethoden zeigen mir ja weder eine Sprache hierfür, noch einen Automaten an.

Wäre schön, wenn man mir das noch erklären könnte...

Answer 1

Tja, leider kann das der XWizard noch nicht. Es gibt noch einige (viele!) Funktionen, die ich gerne einbauen würde, für die ich aber bisher keine Zeit hatte. Dazu gehören vor allem auch Funktionen rund um die regulären Ausdrücke.

Was ich plane, ist folgendes: Man soll reguläre Ausdrücke in endliche Automaten umwandeln können (bisher geht ja nur das Umgekehrte). Diese kann man ja dann deterministisch machen und minimieren. Wenn man das mit zwei verschiedenen regulären Ausdrücken macht, kann man am Ende vergleichen, ob derselbe Automat herauskommt. Mal sehen, ob ich das noch in diesem Semester schaffe...

Was die angegebenen beiden Ausdrücke angeht: die sind beide äquivalent und definieren die Sprache mit mindestens einer 1. Ihr eigener Ausdruck ist sogar kürzer als unsere Lösung (dafür ist diese ein bisschen intuitiver).