Universal theory of automata | lit.salon