О конструкции, известной как "действие полугруппы на множестве" (или об "автомате"), см. также:

http://en.wikipedia.org/wiki/Semigroup_action;

http://en.wikipedia.org/wiki/Automata_theory;

http://en.wikipedia.org/wiki/Semiautomaton;