Semigroups, algorithms, automata, and languages | lit.salon