Abstract
A Markov–Post algorithm and a Turing machine, which have mutual upper bounds on time and space, are proven to be interchangeable up to a linear function of space and a polynomial of time for the Turing machine, respectively. No more than two-letter extensions of the exterior alphabet are used.
Similar content being viewed by others
References
A. V. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms (Addison-Wesley, Massachusetts, 1976).
M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, New York, 1979).
S. V. Yakhontov, N. K. Kosovskii, and T. M. Kosovskaya, Efficient upon Time and Space Approximations of Num-bers and Functions. Textbook (S.-Peterb. Gos. Univ., St. Petersburg, 2012) [in Russian].
N. K. Kosovskii and T. M. Kosovskaya, “Polynomial church thesis for refal-5-functions, normal algorithms and their generalization,” Komp’yuternye Instrum. Obraz., No. 5, 12–21 (2010).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © N.K. Kosovskii, T.M. Kosovskaya, N.N. Kosovskii, 2015, published in Vestnik Sankt-Peterburgskogo Universiteta. Seriya 1. Matematika, Mekhanika, Astronomiya, 2015, No. 2, pp. 191–194.
About this article
Cite this article
Kosovskii, N.K., Kosovskaya, T.M. & Kosovskii, N.N. Mutual upper bounds of size and time for a Turing machine and a Markov–Post algorithm for mutual simulations. Vestnik St.Petersb. Univ.Math. 48, 72–74 (2015). https://doi.org/10.3103/S1063454115020053
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S1063454115020053