On some aspects of the algebraic description of automaton mappings