Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups.

DOI10.1007/s00233-008-9050-zzbMath1172.20041OpenAlexW2057275313MaRDI QIDQ958188

Emanuele Rodaro, A. Cherubini Spoletini

Publication date: 2 December 2008

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00233-008-9050-z

zbMATH Keywords

word problemfinite inverse semigroupsSchützenberger automataYamamura HNN-exstensions

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Inverse semigroups (20M18)

Related Items (13)

Decidability Versus Undecidability of the Word Problem in Amalgams of Inverse Semigroups ⋮ Undecidability of the word problem for Yamamura's HNN-extension under nice conditions. ⋮ Amalgams of inverse semigroups and reversible two-counter machines. ⋮ HNN extensions with lower bounded inverse monoids ⋮ On the structure of lower bounded HNN extensions ⋮ MULTILINEAR EQUATIONS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS ⋮ BICYCLIC SUBSEMIGROUPS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS ⋮ Amalgams of finite inverse semigroups and deterministic context-free languages. ⋮ Some completely semisimple HNN-extensions of inverse semigroups ⋮ Amalgams vs Yamamura's HNN-Extensions of Inverse Semigroups ⋮ Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs ⋮ Maximal subgroups of amalgams of finite inverse semigroups. ⋮ Normal forms for semigroup amalgams

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Presentations of inverse monoids
• Groupoids, inverse semigroups, and their operator algebras
• HNN extensions of inverse semigroups and groupoids.
• Algorithmic problems for amalgams of finite semigroups
• Amalgams of finite inverse semigroups.
• The Word Problem for HNN-extensions of Free Inverse Semigroups
• Amalgams vs Yamamura's HNN-Extensions of Inverse Semigroups
• HNN Extensions of Inverse Semigroups and Applications
• EMBEDDING THEOREMS FOR SEMIGROUPS
• Embedding Theorems for Groups
• Amalgamated free products of inverse semigroups
• Amalgamated free products of inverse semigroups

This page was built for publication: Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups.