Two Results on Discontinuous Input Processing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Two Results on Discontinuous Input Processing

Vojtěch Vorel
  • Function : Author
  • PersonId : 1022727

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩
28 View
99 Download

Altmetric

Share

Gmail Facebook X LinkedIn More