Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract) - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2019

Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract)

Simon Beier
  • Fonction : Auteur
  • PersonId : 1038041
Markus Holzer
  • Fonction : Auteur
  • PersonId : 1011786

Résumé

Right one-way jumping finite automata are deterministic devices that process their input in a discontinuous fashion. We generalise these devices to nondeterministic machines. More precisely we study the impact on the computational power of these machines when allowing multiple initial states and/or a nondeterministic transition function including spontaneous or $$\lambda $$-transitions. We show inclusion relations and incomparability results of the induced language families. Since for right-one way jumping devices the use of spontaneous transitions is subject to different natural interpretations, we also study this subject in detail, showing that most interpretations are equivalent to each other and lead to the same language families. Finally we also study inclusion and incomparability results to classical language families and to the families of languages accepted by finite automata with translucent letters.
Fichier principal
Vignette du fichier
480958_1_En_5_Chapter.pdf (338.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02387300 , version 1 (29-11-2019)

Licence

Identifiants

Citer

Simon Beier, Markus Holzer. Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract). 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.74-85, ⟨10.1007/978-3-030-23247-4_5⟩. ⟨hal-02387300⟩
58 Consultations
47 Téléchargements

Altmetric

Partager

More