The solvability of the word problem for Yamamura’s HNN-extensions [ S; A1, A2; φ] has been proved in some particular cases. However, we show that, contrary to the group case, the word problem for [ S; A1A2; φ] is undecidable even if we consider S to have finite R-classes, A1 and A2 to be free inverse subsemigroups of finite rank and with zero, and φ, φ- 1 to be computable.
|Titolo:||Undecidability of the word problem for Yamamura’s HNN-extension under nice conditions|
|Data di pubblicazione:||2016|
|Appare nelle tipologie:||01.1 Articolo in Rivista|