Zum Hauptinhalt springen

Logo

Unser Fachgruppen-Logo wurde im Jahre 2015 von der damaligen Fachgruppenleitung kreiert. In Form und Farbe orientierte es sich am Logo der GI, welches zu jener Zeit aus den gleichen grauen und gelben Dreiecken bestand und in der Mitte die Buchstaben G und I enthielt. Inzwischen wurde das GI-Logo geändert. Aber wir finden, dass wir unser Logo behalten sollten.

Es skizziert einen der kleinsten Automaten, der in unmittelbarer Beziehung zu einer der bekanntesten offenen Fragen aus der Automatentheorie steht, nämlich der Vermutung von Černý. Hiermit soll auch verdeutlicht werden, dass das Gebiet der Automaten und Formalen Sprachen keineswegs abschließend beforscht ist. Synchronisierende Wörter sind weiterhin von praktischer Bedeutung, und ein konstruktiver Beweis, dass jeder synchronisierbare Automat mit n Zuständen ein synchronisierendes Wort höchstens quadratischer Länge (in n) hat, wäre nicht nur von theoretischem Wert.