Automata on Infinite Words