Text this: Automata theory:infinite computations