Multi-solid varieties and Mh-transducers

• Опубліковано в: : Algebra and Discrete Mathematics
• Дата: 2007
• Автор: Shtrakov, S.
• Формат: Стаття
• Мова: Англійська
• Опубліковано: Інститут прикладної математики і механіки НАН України 2007
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/152366
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Multi-solid varieties and Mh-transducers / S. Shtrakov
 // Algebra and Discrete Mathematics. — 2007. — Vol. 6, № 3. — С. 113–131. — Бібліогр.: 10 назв. — англ.

We consider the concepts of colored terms and multi-hypersubstitutions. If t∈Wτ(X) is a term of type τ, then any mapping αt:PosF(t)→N of the non-variable positions of a term into the set of natural numbers is called a coloration of t. The set Wcτ(X) of colored terms consists of all pairs ⟨t,αt⟩....