Formale Sprachen bilden die Grundlage der theoretischen Informatik und haben innerhalb der Informatik ein breites Anwendungsspektrum. Den Teilnehmern sollten die Grundzüge der Theorie formaler Sprachen aus der entsprechenden Vorlesung bekannt sein. Besondere Aufmerksamkeit wurde dort den kontextfreien und den regulären Sprachen geschenkt. Reguläre Sprachen haben eine vergleichsweise kleine Ausdrucksstärke, sind jedoch sehr gut handhabbar. Probleme reguläre Sprachen betreffend sind entscheidbar, außerdem haben sie gute Abschlusseigenschaften und es gibt es viele Beschreibungsmöglichkeiten, wie endliche Automaten, Grammatiken, reguläre Ausdrücke, endliche Monoide etc.
In diesem Programmierprojekt soll nun eine Software zur Verarbeitung und Visualisierung formaler Sprachen erstellt werden, wobei der Fokus auf den regulären Sprachen liegen soll.