Text this: Theories of Abstract Automata