Problem solving in automata, languages, and complexity | lit.salon