Zur Theorie endlicher Automaten

Zusammenfassung

Die Theorie der Automaten hat starke Beziehung zur Sprach-theorie, die weiter oben vonF. L. Bauer behandelt worden ist. Es sollen im folgenden nicht die sprachtheoretischen Aspekte der Automatentheorie hervorgehoben werden, sondern die Aspekte, die sich komplementär ergeben, wenn man bemüht ist, verschiedenste Typen von Automaten zu beschreiben oder zu klassifizieren. Zunächst wird das Konzept der Automatentheorie skizziert, insbesondere der Theorie der endlichen Automaten. Dabei wird dem Begriff des Zustandes besondere Aufmerksamkeit geschenkt. Danach werden einige für die Automatentheorie charakteristische Aufgaben erwähnt und kurz beschrieben, soweit sie nicht dem sprachtheoretischen Fragenkreis angehören. Dabei wird ein Gebiet bevorzugt, das in letzter Zeit keine Beachtung mehr gefunden hat, das aber schon im Jahre 1955 vonMoore formuliert worden ist. Seither scheint es keine ernsten Bemühungen mehr gegeben zu haben, die sogenannte Theorie der Experimente weiter auszubauen.

Summary

The “Theory of Automata” is strongly related to the “Mathematical Linguistics,” (especially to the “Theory of Grammars” in the sense ofChomsky) mentioned above byF. L. Bauer. In the following paper is not to deal with linguistic aspects of automata but with those aspects complementary herewith, if one intends to describe and to classify various types of automata. First will be outlined the concept of the theory of automata, especially of the theory of finite automata. Moreover there will be paid special attention to the idea of the “state” of an automaton. Thereafter will be mentioned and shortly described tasks typical for Automata Theory without regarding linguistic problems. One field will be preferred in this paper which has not found attention during the last time despite of the fact that the problem has already been formulated byMoore in 1955. Since that time virtually there are not any endeavours to develop further the so-called Theory of Experiments.