Multi-Solid Varieties and Mh-Transducers
arXiv:math/0702454
Abstract
We consider the concepts of colored terms and multi-hypersubstitutions. Studying the multi-hypersubstitutions we find out necessary and sufficient conditions a variety to be pre-complete. Finally we give an automata realization of multi-hypersubstitutions and colored terms.
17 pages, 2 figures, Journal "Algebra and Discrete Mathematics", Number 3 (2007), pp. 113-131, http://adm.lnpu.edu.ua/