Beschreibung
Es ist möglich, eine Gruppe durch eine formelle Sprache zu definieren. Die Literale dieser Sprache sind dann die Erzeuger der Gruppe.
Eigenschaften
Kriterium für Reguläre Sprachen
Nach dem Satz von Myhill und Nerode ist eine Sprache dann regulär, wenn sie endlich viele Kegeltypen hat