Text this: Sequential machines and automata theory