Converting nondeterministic two-way automata into small deterministic linear-time machines - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2022

Converting nondeterministic two-way automata into small deterministic linear-time machines

Résumé

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 upper bound currently known being exponential. We present a new approach in which unrestricted nondeterministic nite automata are simulated by deterministic models extending two-way deterministic nite automata, paying only a polynomial increase of size. Indeed, we study the costs of the conversions of nondeterministic nite automata into some variants of one-This work contains, in an extended form, some material and results which were previously presented in a preliminary form in conference papers [1] and [2].
Fichier principal
Vignette du fichier
wrhm-part2.pdf (410.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification

Dates et versions

hal-04093745 , version 1 (10-05-2023)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Průša. Converting nondeterministic two-way automata into small deterministic linear-time machines. Information and Computation, 2022, 289 (Part A), pp.104938. ⟨10.1016/j.ic.2022.104938⟩. ⟨hal-04093745⟩
7 Consultations
16 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More