On Straight Words and Minimal Permutators in Finite Transformation Semigroups
Abstract
Motivated by issues arising in computer science, we investigate the loopfree paths from the identity transformation and corresponding straight words in the Cayley graph of a finite transformation semigroup with a fixed generator set. Of special interest are words that permute a given subset of the state set. Certain such words, called minimal permutators, are shown to comprise a code, and the straight ones comprise a finite code. Thus, words that permute a given subset are uniquely factorizable as products of the subset's minimal permutators, and these can be further reduced to straight minimal permutators. This leads to insight into structure of local pools of reversibility in transformation semigroups in terms of the set of words permuting a given subset. These findings can be exploited in practical calculations for hierarchical decompositions of finite automata. As an example we consider groups arising in biological systems.
 Publication:

Lecture Notes in Computer Science
 Pub Date:
 2011
 DOI:
 10.1007/9783642180989_13
 arXiv:
 arXiv:1002.2793
 Bibcode:
 2011LNCS.6482..115E
 Keywords:

 Mathematics  Group Theory;
 68Q45;
 68Q70;
 20M35;
 20B40
 EPrint:
 12 pages, 2 figures