Formal Language Tool [de]
Das Formal Language Tool (benötigt Java WebStart) bietet eine Benutzeroberfläche zum visuellen Erstellen endlicher Automaten für reguläre Sprachen. Was bedeutet das? Wenn wir etwa auf einem Mobiltelefon eine SMS verfassen und das Gerät versucht, das angefangene Wort zu vervollständigen, kommt ein sog. endlicher Automat (manchmal auch 'Netzwerk' genannt) zum Einsatz. Angenommen, wir haben ein 'M' eingetippt, dann gibt es zu diesem Zeitpunkt im Netzwerk unten folgende Möglichkeiten, wie das ...



