Two Results on Discontinuous Input Processing
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.
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
Loading...
