Algebraic theory of machines, languages, and semigroups | lit.salon