Über Automaten mit speziellen Überführungs- und Ergebnisfunktionen

Zusammenfassung

In diesem Kapitel werden u.a. Automaten behandelt, deren Speicherkapazität — entspricht dem Gedächtnis bei speziellen stochastischen Automaten, nämlich den Kanälen der Informationstheorie (vgl. Henze/Homuth (1974)) — zeitlich („taktweise“) beschränkt ist, d.h. Automaten, deren Ausgabebuchstabe zur Zeit t + k (k ⩾ 1) nicht mehr vom Eingabebuchstaben zur Zeit t abhängt. Man nennt Automaten mit einer solchen Eigenschaft „stabil“ — sie müssen also Überführungs- und Ergebnisfunktionen mit bestimmten Eigenschaften besitzen. Außer stabilen werden auch definite Automaten betrachtet, bei denen „nur“ an die Überführungsfunktion gewisse Bedingungen gestellt werden. Zum Schluß des Kapitels werden die Begriffsbildungen dann noch auf Wortfunktionen und damit auf Ereignisse übertragen. Die Darstellung hier schließt sich im wesentlichen recht eng an die von Starke (1969) an; zugleich lassen sich die hier behandelten Dinge zusammen mit den schon früher eingeführten Zusammenhangsbegriffen als erste Schritte in Richtung einer Zustandsklassifikation bei (determinierten) Automaten deuten. Über den Zusammenhang dieser Dinge mit der Theorie der formalen Sprachen vergleiche man auch Steinby (1969).