Theories of abstract automata | lit.salon