We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Weight-Reducing Turing Machines

Abstract: It is well-known that one-tape Turing machines working in linear time are no more powerful than finite automata, namely they recognize exactly the class of regular languages. We prove that it is not decidable if a one-tape machine works in linear time, even if it is deterministic and restricted to use only the portion of the tape which initially contains the input. This motivates the introduction of a constructive variant of one-tape machines, called weight-reducing machine, and the investigation of its properties. We focus on the deterministic case. In particular, we show that, paying a polynomial size increase only, each weight-reducing machine can be turned into a halting one that works in linear time. Furthermore each weight-reducing machine can be converted into equivalent nondeterministic and deterministic finite automata by paying exponential and doubly-exponential increase in size, respectively. These costs cannot be reduced in general.
Subjects: Formal Languages and Automata Theory (cs.FL)
MSC classes: 68Q45
ACM classes: F.4.3; F.1.1
Cite as: arXiv:2103.05486 [cs.FL]
  (or arXiv:2103.05486v2 [cs.FL] for this version)

Submission history

From: Luca Prigioniero [view email]
[v1] Tue, 9 Mar 2021 15:17:51 GMT (48kb,D)
[v2] Wed, 10 Mar 2021 11:42:29 GMT (48kb,D)

Link back to: arXiv, form interface, contact.