Standard automata and semidirect products of transformation semigroups (Q685446)

There are investigated semidirect decompositions of finite transformation semigroups based on the concept of a bilateral semidirect product of semigroups. The elaborated approach is applied to semigroups of isotonic mappings of linearly ordered sets as well as to the transition semigroups of automata arising from certain varieties of formal languages. Among others there is constructed a bilateral semidirect decomposition of the full transformation semigroup of a finite set \(X\) into the semigroup of isotonic selfmaps \(\text{End} (X,\leq)\) and the symmetric group on \(X\) for a linear order \(\leq\) on \(X\).