A Turing machine time hierarchy

78Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

The time separation results concerning classes of languages over a single-letter alphabet accepted by multi-tape nondeterministic Turing machines, well-known from Seiferas, Fischer and Meyer (1978), are supplemented. Moreover, via a universal machine a modified time complexity measure UTIME of Turing machines computations which is sensitive to multiplication by constants (i.e., UTIME(t) {subset of with not equal to} UTIME(kt), where UTIME(t) is the class of languages of complexity not larger than t) is introduced. On the level of this measure, the results concerning languages over one- and two-letter alphabets are refined. The proof tools are versions of a translational diagonalization and of an unpadding technique. © 1983.

Cite

CITATION STYLE

APA

Žák, S. (1983). A Turing machine time hierarchy. Theoretical Computer Science, 26(3), 327–333. https://doi.org/10.1016/0304-3975(83)90015-4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free