Abstract
In this paper several ways to define space-bounded computations will be considered. All these notions are equivalent for sufficiently powerful automata. For "weaker" acceptors, however, it is possible that the recognition power strictly depends on small details in the definition of computing within the space bound. We discuss these questions for several kinds of space-bounded on-line multicounter automata.
Preview
Unable to display preview. Download preview PDF.
References
Fischer, P.C.: Turing machines with restricted memory access. Information and Control 9(1966), 364–379.
Fischer, P.C.; Meyer, A.R.; Rosenberg, A.L.: Counter machines and counter languages. Math. Syst. Theory 2(1968), 265–283.
Greibach, S.A.: Remarks on the complexity of nondeterministic counter languages. TCS 1(1976), 269–288.
Greibach, S.A.: Remarks on blind and partially blind one-way multicounter machines. TCS 7(1978), 311–324.
Hemmerling, A.: Zur Raumkompliziertheit von Berechnungs-, Erkennungs-und Entscheidungsprozessen. Preprint, Greifswald 1979.
Hemmerling, A.: D≠ND für mehrdimensionale Turingautomaten mit sublogarithmischer Raumschranke. EIK 19(1983), 85–94.
Inoue, T.; Takanami, I.: On-line n-bounded multicounter automata. Information Sciences 17(1979), 239–251.
Inoue, T.; Takanami, I.; Nakamura, A.; Ae, T.: One-way simple multi-head finite automata. TCS 9(1979), 311–328.
Shepherdson, J.C.; Sturgis, H.E.: Computability of recursive functions. JACM 10(1963), 217–255.
Voelkel,L.: Language recognition by linear bounded and copy programs. FCT-Conference 1979, 491–495.
Voelkel, L.: Untersuchungen zum Leistungsvermögen von Automaten. Dissertation B, Greifswald 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Voelkel, L. (1985). On several kinds of space-bounded on-line multicounter automata. In: Budach, L. (eds) Fundamentals of Computation Theory. FCT 1985. Lecture Notes in Computer Science, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028830
Download citation
DOI: https://doi.org/10.1007/BFb0028830
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15689-5
Online ISBN: 978-3-540-39636-9
eBook Packages: Springer Book Archive