Browsing MIT Open Access Articles by Subject "omega-automata"
Now showing items 1-1 of 1
-
An improved lower bound for the complementation of Rabin automata
(Institute of Electrical and Electronics Engineers, 2009-09)Automata on infinite words (omega-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of omega-automata is a crucial instrument in many these ...