Schutzenberger graphs and embedding theorems (Algebra, Languages and Computation)
Akihiro Yamamura · Institutional Repositories DataBase (IRDB) · 2005
The embedding of an inverse semigroup into a variant of HNN extension is obtained.We charcterize HNN extensions where the set of idempotents do not get larger by the construction.We clarify the relationship among the definitions of HNN extensions of inverse semigroups; the embedding theorem for HNN extensions is obtained by the automata theoretical technique based on the combinatorial and geometrical properties of Sch\"utzenberger graphs.This paper is an extended abstract and the detailed version will be published elsewhere.