researchers with a paper here
collaborating institutions

1 paper

cs.FL2014

Decision Problems for Deterministic Pushdown Automata on Infinite Words

Christof Löding

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 p…