Mit folgendem Applet wird aus einem regulären Ausdruck ein nichtdeterministischer endlicher Automat konstruiert, der die zugehörige reguläre Spache erkennt.
Bei Eingabe eines syntaktisch nicht korrekten regulären Ausdrucks wird eine Fehlermeldung sowie die Position des Fehlers ausgegeben.
Der Automat wird als Zustandsübergangstabelle ausgegeben; hierbei steht das Zeichen § für Epsilon. Der erste ausgegebene Zustand ist der Anfangszustand; der einzige Zustand, der keine Folgezustände hat, ist der Endzustand. Im voreingestellten Beispiel ist Zustand 15 der Anfangszustand; er geht mit dem Symbol ε in die Folgezustände 1 und 3 über. Zustand 16 ist der Endzustand.
Anschließend wird ein Wort daraufhin geprüft, ob es von dem nichtdeterministischen endlichen Automaten akzeptiert wird.
Das zugrunde liegende Alphabet ist {a, b, c, d}. [Ausprobieren]
(Java-Applet zur Konstruktion und Simulation eines nichtdeterministischen endlichen Automaten)
Ein Java-Applet zur grafischen Ausgabe des aus einem regulären Ausdruck konstruierten nichtdeterministischen endlichen Automaten findet sich am Ende des Abschnitts Konstruktion eines nichtdeterministischen endlichen Automaten aus einem regulären Ausdruck.
Weiter: [up]