Halbgruppen und Automaten

Die Theorie der Automaten gehört zum theoretischen Teil der Informatik, obgleich sie in ihren Anfängen von durchaus praktischen Problemstellungen ausging, nämlich der Untersu­ chung des funktionellen Verhaltens mehr oder minder umfäng­ licher Verbindungen von Schaltelementen, der Schaltwerke. Die Theorie jedoch entfaltete ihr Eigenleben und es ergaben sich im Laufe der Zeit vielfältige Beziehungen zu anderen Gebieten. So ist heute die Automatentheorie ebenso im Zusam­ menhang mit der Theorie der