Two Results on Discontinuous Input Processing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Two Results on Discontinuous Input Processing

Résumé

First, we show that universality and other properties of general jumping finite automata are undecidable, which answers questions asked by Meduna and Zemek in 2012 [12]. Second, we close a study started by Černo and Mráz in 2010 [3] by proving that a clearing restarting automaton using contexts of length two can accept a binary non-context-free language.
Fichier principal
Vignette du fichier
416473_1_En_16_Chapter.pdf (465.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01633950 , version 1 (13-11-2017)

Licence

Paternité

Identifiants

Citer

Vojtěch Vorel. Two Results on Discontinuous Input Processing. 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.205-216, ⟨10.1007/978-3-319-41114-9_16⟩. ⟨hal-01633950⟩
33 Consultations
99 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More