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.

• Type: Conference
• Year: 2009
• Where: LICS
• Authors: Yang Cai, Ting Zhang, Haifeng Luo
• Keywords: Complementationof Rabin Automata, Computer Science, LICS 2009, Lower Bound, Rabin Automata