A tighter analysis of Piterman's Büchi determinization

Abstract

Determinization and complementation are two fundamental problems in automata theory. Very recently, Piterman improved Safra's determinization and, presented a new construction which produces parity automata with a smaller size. We give a tighter analysis on that determinization construction and show that the number of states of the resulting deterministic automaton is bounded by 2 n ( n ! ) 2 instead of 2 n ! n n .