Ein sehr schönes Tool zum Arbeiten mit endlichen Automaten und Grammatiken ist JFLAP. Hier ein paar Bilder.