Weight-Reducing Turing Machines
release_hijcczgmcjafhbztq4nk43jd5m
by
Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Průša
2021
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.
In text/plain
format
Archived Files and Locations
application/pdf 610.1 kB
file_hyp33vmq7nbsbfuignx46vrt3m
|
arxiv.org (repository) web.archive.org (webarchive) |
2103.05486v2
access all versions, variants, and formats of this works (eg, pre-prints)