Die Theorie der Automaten gehort zum theoretischen Teil der Informatik, obgleich sie in ihren Anfangen von durchaus praktischen Problemstellungen ausging, namlich der Untersu chung des funktionellen Verhaltens mehr oder minder umfang licher Verbindungen von Schaltelementen, der Schaltwerke. Die Theorie jedoch entfaltete ihr Eigenleben und es ergaben sich im Laufe der Zeit vielfaltige Beziehungen zu anderen Gebieten. So ist heute die Automatentheorie ebenso im Zusam menhang mit der Theorie der Berechenbarkeit und Entscheid barkeit zu sehen, wie mit der Theorie der formalen Sprachen, und gerade...