On the complexity of omega -automata

@article{Safra1988OnTC,
  title={On the complexity of omega -automata},
  author={S. Safra},
  journal={[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science},
  year={1988},
  pages={319-327}
}
  • S. Safra
  • Published 1988
  • Mathematics, Computer Science
  • [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science
Automata on infinite words were introduced by J.R. Buchi (1962) in order to give a decision procedure for S1S, the monadic second-order theory of one successor. D.E. Muller (1963) suggested deterministic omega -automata as a means of describing the behavior of nonstabilising circuits. R. McNaughton (1966) proved that classes of languages accepted by nondeterministic Buchi automata and by deterministic Muller automata are the same. His construction and its proof are quite complicated, and the… Expand
465 Citations
The Role of Büchi’s Automata in Computing Science
  • 4
Width of Non-deterministic Automata
  • 3
  • PDF
Typeness for omega-Regular Automata
  • 24
  • PDF
Ramsey-Based Analysis of Parity Automata
  • 7
  • PDF
Tighter Bounds for the Determinisation of Büchi Automata
  • 77
  • PDF
Computing the Width of Non-deterministic Automata
  • 2
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 20 REFERENCES
The complexity of tree automata and logics of programs
  • E. Emerson, C. Jutla
  • Mathematics, Computer Science
  • [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science
  • 1988
  • 291
Theories of Automata on omega-Tapes: A Simplified Approach
  • Y. Choueka
  • Computer Science, Mathematics
  • J. Comput. Syst. Sci.
  • 1974
  • 213
  • PDF
Testing and Generating Infinite Sequences by a Finite Automaton
  • 554
Improved upper and lower bounds for modal logics of programs
  • 176
  • PDF
Finite Automata and Their Decision Problems
  • 1,776
  • PDF
Trees, automata, and games
  • 364
  • PDF
Deciding Full Branching Time Logic
  • 215
On the Complementation of Büchi Automata
  • J. Pécuchet
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1986
  • 24
...
1
2
...