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.

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Vestnik, St. Petersburg University. Mathematics Jg. 48; H. 2; S. 72 - 74
Hauptverfasser:	Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Allerton Press 01.04.2015
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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