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: Converting Nondeterministic Two-Way Automata into Small Deterministic Linear-Time Machines

Abstract: In 1978 Sakoda and Sipser raised the question of the cost, in terms of size of representations, of the transformation of two-way and one-way nondeterministic automata into equivalent two-way deterministic automata. Despite all the attempts, the question has been answered only for particular cases (e.g., restrictions of the class of simulated automata or of the class of simulating automata). However the problem remains open in the general case, the best-known upper bound being exponential. We present a new approach in which unrestricted nondeterministic finite automata are simulated by deterministic models extending two-way deterministic finite automata, paying a polynomial increase of size only. Indeed, we study the costs of the conversions of nondeterministic finite automata into some variants of one-tape deterministic Turing machines working in linear time, namely Hennie machines, weight-reducing Turing machines, and weight-reducing Hennie machines. All these variants are known to share the same computational power: they characterize the class of regular languages.
Subjects: Formal Languages and Automata Theory (cs.FL)
MSC classes: 68Q45
ACM classes: F.4.3; F.1.1
Cite as: arXiv:2103.05485 [cs.FL]
  (or arXiv:2103.05485v2 [cs.FL] for this version)

Submission history

From: Luca Prigioniero [view email]
[v1] Tue, 9 Mar 2021 15:16:29 GMT (49kb,D)
[v2] Wed, 10 Mar 2021 11:45:54 GMT (49kb,D)

Link back to: arXiv, form interface, contact.