Two Results on Discontinuous Input Processing - Inria - Institut national de recherche en sciences et technologies du numérique
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.

Domaines

Informatique [cs]
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)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01633950

Soumis le : lundi 13 novembre 2017-15:32:37

Dernière modification le : dimanche 14 janvier 2024-23:50:06

Archivage à long terme le : mercredi 14 février 2018-16:05:04

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG IFIP-DCFS IFIP-LNCS-9777 IFIP-WG1-2
43 Consultations
113 Téléchargements

Altmetric

Partager

More