Complementation of finitely ambiguous Büchi automata

DOI10.1007/978-3-319-98654-8_44zbMath1457.68148OpenAlexW2885721066MaRDI QIDQ1623004

Alexander Rabinovich

Publication date: 22 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-98654-8_44

zbMATH Keywords

complementationfinite automatainfinite wordsunambiguous Büchi automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (5)

On the power of finite ambiguity in Büchi complementation ⋮ Markov chains and unambiguous automata ⋮ Ambiguity, weakness, and regularity in probabilistic Büchi automata ⋮ Unnamed Item ⋮ On degrees of ambiguity for Büchi tree automata

This page was built for publication: Complementation of finitely ambiguous Büchi automata