"Computer Science - Logic in Computer Science"

Can Nondeterminism Help Complementation?

Complementation and determinization are two fundamental notions in automata theory. The close relationship between the two has been …

Yang Cai, Ting Zhang