Article
KYUNGPOOK Math. J. 2019; 59(4): 617-629
Published online December 23, 2019
Copyright © Kyungpook Mathematical Journal.
The Monoid of Linear Hypersubstitutions
Thawhat Changphas∗, Bundit Pibaljommee and Klaus Denecke
Department of Mathematics, Faculty of Science, Khon Kaen University, Khon Kaen 40002, Thailand
e-mail : thacha@kku.ac.th, banpib@kku.ac.th and klausdenecke@hotmail.com
Received: August 22, 2018; Revised: December 18, 2018; Accepted: December 19, 2018
A term is called linear if each variable which occurs in the term, occurs only once. A hypersubstitution is said to be linear if it maps any operation symbol to a linear term of the same arity. Linear hypersubstitutions have some importance in Theoretical Computer Science since they preserve recognizability [
Keywords: linear term, linear hypersubstitution, linear hyperidentity.