Mutual upper bounds of size and time for a Turing machine and a Markov–Post algorithm for mutual simulations

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.

Uložené v:

Podrobná bibliografia
Vydané v:	Vestnik, St. Petersburg University. Mathematics Ročník 48; číslo 2; s. 72 - 74
Hlavní autori:	Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York Allerton Press 01.04.2015
Predmet:	Analysis Mathematics Mathematics and Statistics Markov–Post algorithm mutual upper bounds of complexity time and space complexity of algorithms Turing machine
ISSN:	1063-4541, 1934-7855
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
Shrnutí:	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.
ISSN:	1063-4541 1934-7855
DOI:	10.3103/S1063454115020053