Sciweavers

Share
LICS
2009
IEEE

An Improved Lower Bound for the Complementation of Rabin Automata

9 years 1 months ago
An Improved Lower Bound for the Complementation of Rabin Automata
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is a crucial instrument in many these applications, and hence there have been great interests in determining the state complexity of the complementation problem. However, obtaining nontrivial lower bounds has been difficult. For the complementationof Rabin automata, a significant gap exists between the state-of-the-art lower bound 2Ω(N lg N) and upper bound 2O(kN lg N) , where k, the number of Rabin pairs, can be as large as 2N . In this paper we introduce multidimensional rankings to the full automata technique. Using the improved technique we establish an almost tight lower bound for the complementation of Rabin automata. We also show that the same lower bound holds for the determinization of Rabin automata.
Yang Cai, Ting Zhang, Haifeng Luo
Added 24 May 2010
Updated 24 May 2010
Type Conference
Year 2009
Where LICS
Authors Yang Cai, Ting Zhang, Haifeng Luo
Comments (0)
books