Observations on determinization of Büchi automata
From MaRDI portal
Publication:860867
DOI10.1016/j.tcs.2006.07.026zbMath1153.68399MaRDI 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
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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