Automata theory | lit.salon