Text this: Automata, Logics, and Infinite Games