@Article{         Lodingb,
  Author        = {L{\"o}ding, Christof},
  Abstract      = "The article surveys some decidability results for DPDAs on infinite words (omega-DPDA). We summarize some recent results on the decidability of the regularity and the equivalence problem for the class of weak omega-DPDAs. Furthermore, we present some new results on the parity index problem for omega-DPDAs. For the specification of a parity condition, the states of the omega-DPDA are assigned priorities (natural numbers), and a run is accepting if the highest priority that appears infinitely often during a run is even. The basic simplification question asks whether one can determine the minimal number of priorities that are needed to accept the language of a given omega-DPDA. We provide some decidability results on variations of this question for some classes of omega-DPDAs.",
  date-added    = "2014-10-29 12:57:36 +0000",
  date-modified = "2014-10-29 12:57:36 +0000",
  EPrint        = "1405.5596",
  Month         = "05",
  Title         = "Decision Problems for Deterministic Pushdown Automata on Infinite Words",
  URL           = "http://arxiv.org/abs/1405.5596",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1405.5596",
  File          = "Decision Problems for Deterministic Pushdown Automata on Infinite Words - Löding (0) (0) - a - a - c.pdf"
}

@Article{ Lodingb, Author = {L{\"o}ding, Christof}, Abstract = "The article surveys some decidability results for DPDAs on infinite words (omega-DPDA). We summarize some recent results on the decidability of the regularity and the equivalence problem for the class of weak omega-DPDAs. Furthermore, we present some new results on the parity index problem for omega-DPDAs. For the specification of a parity condition, the states of the omega-DPDA are assigned priorities (natural numbers), and a run is accepting if the highest priority that appears infinitely often during a run is even. The basic simplification question asks whether one can determine the minimal number of priorities that are needed to accept the language of a given omega-DPDA. We provide some decidability results on variations of this question for some classes of omega-DPDAs.", date-added = "2014-10-29 12:57:36 +0000", date-modified = "2014-10-29 12:57:36 +0000", EPrint = "1405.5596", Month = "05", Title = "Decision Problems for Deterministic Pushdown Automata on Infinite Words", URL = "http://arxiv.org/abs/1405.5596", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1405.5596", File = "Decision Problems for Deterministic Pushdown Automata on Infinite Words - Löding (0) (0) - a - a - c.pdf" }