@Article{         Vorel,
  Author        = "Vorel, Vojt{\v e}ch",
  Abstract      = "First, we show that universality and other properties of general jumping finite automata are undecidable, which answers a question asked by Meduna and Zemek in 2012. Second, we close the study raised by \v{C}erno and Mr\'{a}z in 2010 by proving that clearing restarting automata using contexts of size two can accept binary non-context-free languages.",
  date-added    = "2017-01-12 10:57:03 +0000",
  date-modified = "2017-01-12 10:57:03 +0000",
  EPrint        = "1511.08642",
  Month         = "11",
  Title         = "Two Results on Discontinuous Input Processing",
  URL           = "https://arxiv.org/abs/1511.08642",
  Year          = "2015",
  bdsk-url-1    = "https://arxiv.org/abs/1511.08642",
  File          = "Two Results on Discontinuous Input Processing - Vorel (0) (0) - a - a - j.pdf",
  file-2        = "Two Results on Discontinuous Input Processing - Vorel (1) (0) - a - a - j.pdf"
}

@Article{ Vorel, Author = "Vorel, Vojt{\v e}ch", Abstract = "First, we show that universality and other properties of general jumping finite automata are undecidable, which answers a question asked by Meduna and Zemek in 2012. Second, we close the study raised by \v{C}erno and Mr\'{a}z in 2010 by proving that clearing restarting automata using contexts of size two can accept binary non-context-free languages.", date-added = "2017-01-12 10:57:03 +0000", date-modified = "2017-01-12 10:57:03 +0000", EPrint = "1511.08642", Month = "11", Title = "Two Results on Discontinuous Input Processing", URL = "https://arxiv.org/abs/1511.08642", Year = "2015", bdsk-url-1 = "https://arxiv.org/abs/1511.08642", File = "Two Results on Discontinuous Input Processing - Vorel (0) (0) - a - a - j.pdf", file-2 = "Two Results on Discontinuous Input Processing - Vorel (1) (0) - a - a - j.pdf" }