Automata theory and formal languages | lit.salon