Typeness for w-Regular Automata