Observations on determinization of Büchi automata

DOI10.1016/j.tcs.2006.07.026zbMath1153.68399OpenAlexW2161218627MaRDI QIDQ860867

Wolfgang Thomas, Christoph Schulte Althoff, Nico Wallmeier

Publication date: 9 January 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.026

zbMATH Keywords

determinizationMuller-SchuppRabin

Mathematics Subject Classification ID

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

Related Items

Profile trees for Büchi word automata, with application to determinization, Parametric linear dynamic logic, Doomsday equilibria for omega-regular games, State of Büchi Complementation, Unnamed Item

Uses Software

• LASH

Cites Work

• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
• Alternating finite automata on \(\omega\)-words
• An effective decision procedure for linear arithmetic over the integers and reals
• Testing and generating infinite sequences by a finite automaton
• Implementation and Application of Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item