Über einen Automaten mit Pufferspeicherung

Zusammenfassung

Es wird ein Automat mit Speicherband eingeführt und in seiner Eigenschaft als erkennender Automat untersucht. Er kann sein Arbeitsband nur als Puffer benutzen, d. h. was zuerst eingelesen wird, wird auch zuerst wieder ausgelesen. Es werden verschiedene Modifikationen des Grundmodells, insbesondere aber die deterministische, in Realzeit arbeitende Version betrachtet, sowohl hinsichtlich der Lage der durch den Automatentyp definierten Sprachklasse in derChomsky-Hierarchie, als auch das Verhalten dieser Sprachen gegenüber gewissen Operationen. Einige Resultate über Entscheidbarkeitsfragen werden zitiert.

Summary

A class of automata with tape has been defined and considered as recognition devices. Our automaton can use its working tape only as a buffer, i. e. in a “first-in-first-out” manner. Some modifications of the general model are considered, especially the deterministic, real-time version. The position in theChomsky hierarchy of the class of languages accepted by such automata and some operations with these languages have been investigated. Some results on decidability questions are cited.