Abstract
The goal of this paper is to investigate the power of Turing machines with homogeneous memory. The standard models of Turing machines often use tricks such as “special” symbols (delimiter) or several different tapes. These tricks are not natural: computers use only 0’s and 1’s and operating systems consider memory as a whole. When memory is divided into several parts, (e.g. hard disks, devices...) they play the same role and we cannot say that one of them is devoted to input while the rest is a working space.
We address the question of computing power of variants of Turing machines with no delimiter, and also investigate how a Turing machine is forced to transform its environment while computing. For this last question, we consider the rest of its tape as an oracle and see whether it is possible to compute all recursive functions relativized to this oracle. If yes it means that, in the considered model, Turing machines can perform computations without destroying their environment (the model is thus called ecological), otherwise computing implies environment transformation.
These problems seem at first sight straightforward but they are not. We could prove 4 main results explained below, but some very simple and intuitive models are yet not clear (we do not know if they are as powerful as standard Turing machines).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Agafonov, V.N.: Complexity of algorithms and computations: A course for students of University of Novosibirsk, part 1. Publishing house of University of Novosibirsk (1975) (Russian)
Barzdin, Y.M.: Complexity of symmetry recognition on Turing machines. Problemy kibernetiki 15, 245–248 (1965) (Russian)
Hennie, F.C.: One tape off-line Turing machine computations. Information and Control 8(6), 553–578 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Durand, B., Muchnik, A., Ushakov, M., Vereshchagin, N. (2004). Ecological Turing Machines. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds) Automata, Languages and Programming. ICALP 2004. Lecture Notes in Computer Science, vol 3142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27836-8_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-27836-8_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22849-3
Online ISBN: 978-3-540-27836-8
eBook Packages: Springer Book Archive