Automatisierte Generierung von Automaten und automatenbasierten Aufgaben.