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.
Undecidability of the word problem for Yamamura’s HNN-extension under nice conditions
RODARO, EMANUELE
2016-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.