Automata on Infinite Words | lit.salon