Mit diesem Tool kann man einen deterministischen endlichen Automaten (DFA) spezifizieren, indem man einige Formularfelder ausfüllt und das 5-Tupel M = (Q, sigma, delta, q0, F) dadurch mit Werten besetzt. Anschließend kann man ein Wort eingeben, das als Eingabe für den intern aufgebauten Automaten dient. Nach Lauf des Automaten wird ausgegeben, ob das Wort akzeptiert wird oder nicht.
TIP: Einfach die URL nach der kompletten Eingabe des Automaten und des Wortes kopieren oder bookmarken. So kann man sich eine kleine lokale Bibliothek von Automatenspezifizierungen anlegen und bei Bedarf neu ausführen. Interessant ist auch, die URL der Seite "Worteingabe" zu speichern, da dann ein Frontend für wiederholte Worttests bereitsteht! (...denn dann war die Eingabe-Mühe nicht umsonst ;-)
Bitte beachten: Trotz sorgfältiger Implementierung sind Fehler in der Funktionsweise des Tools nicht ausgeschlossen. Der Autor übernimmt daher keiner Verantwortung für Entscheidungen, die auf Ausgaben des Programms beruhen (insbesondere Klausuren, Prüfungen, etc. :-)
© 2002 Martin Klossek - martin@klossek3000.de