Vielleicht kennt der ein oder andere das Programm schon, aber ich will es hier trotzdem noch einmal kurz vorstellen.
JFLAP ist ein Java-Programm, welches verschiedene Arten von Automaten zeichnen und simulieren kann, sowie die meisten Operationen wie Minimierung und Transformationen durchführt. Dabei wird einem nicht nur das Ergebnis präsentiert, sondern man hat die Möglichkeit, Schritt für Schritt nachzuvollziehen, was vor sich geht. Auch Grammatiken kann JFLAP testen und zum Beispiel ε-Produktionen eliminieren. Ein bisschen umgewöhnen muss man sich, da statt ε in JFLAP λ verwendet wird und die Darstellung einiger Kleinigkeiten von der aus der Vorlesung differiert, jedoch nur minimal.
Hier bekommst du JFLAP und kannst noch mehr darüber erfahren: http://www.cs.duke.edu/csed/jflap/