Text this: Hardcoding finite automata