A relationship between nondeterministic turing machines and 1-inkdot turing machines with small space (Q1199887): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4144808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3912023 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nondeterministic Computations in Sublogarithmic Space and Space Constructibility / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5592246 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Space bounded computations: Review and new separation results / rank | |||
Normal rank |
Latest revision as of 12:09, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A relationship between nondeterministic turing machines and 1-inkdot turing machines with small space |
scientific article |
Statements
A relationship between nondeterministic turing machines and 1-inkdot turing machines with small space (English)
0 references
17 January 1993
0 references
We consider the Turing machine model with a two-way, read-only input tape and a separate two-way, read-write worktape [\textit{J. E. Hopcroft} and \textit{J. D. Ullman}, Formal Languages and their relation to automata, Addison-Wesley (1969; Zbl 0196.017)]. Recently, \textit{D. Ranjan, R. Chang} and \textit{J. Hartmanis} [Theor. Comput. Sci. 80, 289-302 (1991; Zbl 0745.68051)] introduced a slightly modified Turing machine model, called a 1-inkdot Turing machine. The 1-inkdot Turing machine is a Turing machine with the additional power of marking one tape-cell on the input (with an inkdot). This tape-cell is marked once and for all (no erasing) and no more than one dot of ink is available. The action of the machine depends on the current state, the currently scanned input and worktape symbols and the presence of the inkdot on the currently scanned tape-cell. The action consists of moving the heads and making appropriate changes on worktape cells (using the finite control). In addition, the inkdot may be used to mark the currently scanned cell on the input tape if it has not been used already.
0 references
computational complexity
0 references
space bounded computations
0 references
nondeterministic Turing machines
0 references
1-inkdot Turing machines
0 references