Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2015 | OriginalPaper | Buchkapitel

Decidability Versus Undecidability of the Word Problem in Amalgams of Inverse Semigroups

verfasst von : Alessandra Cherubini, Emanuele Rodaro

Erschienen in: Semigroups, Algebras and Operator Theory

Verlag: Springer India

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper is a survey of some recent results on the word problem for amalgams of inverse semigroups. Some decidability results for special types of amalgams are summarized pointing out where and how the conditions posed on amalgams are used to guarantee the decidability of the word problem. Then a recent result on undecidability is shortly illustrated to show how small is the room between decidability and undecidability of the word problem in amalgams of inverse semigroups.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Nächstes Kapitel A Nonfinitely Based Semigroup of Triangular Matrices
Literatur
1.
Bennett, C.: Logical reversibility of computation. IBM J. Res. Dev. 17, 525–532 (1973)MATHCrossRef
2.
3.
Bennett, P.: On the structure of inverse semigroup amalgams. Int. J. Algebra Comput. 7(5), 577–604 (1997)CrossRef
4.
Cherubini, A., Mazzucchelli, M.: On the decidability of the word problem for amalgamated free products of inverse semigroups. Semigroup Forum 76(2), 309–329 (2008)MATHMathSciNetCrossRef
5.
Cherubini, A., Rodaro, E.: Amalgams vs Yamamura’s HNN-extensions of inverse semigroups. Algebra Colloq. 18(04), 647–657 (2011)MATHMathSciNetCrossRef
6.
Cherubini, A., Jajcayová, T., Rodaro, E.: Maximal subgroups of amalgams of finite inverse semigroups. Semigroup Forum 9(2), 401–424 (2015)
7.
8.
9.
Cherubini, A., Nuccio, C., Rodaro, E.: Multilinear equations in amalgams of finite inverse semigroups. Int. J. Algebra Comput. 21(01n02), 35–59 (2011)MATHMathSciNetCrossRef
10.
Cherubini, A., Nuccio, C., Rodaro, E.: Amalgams of finite inverse semigroups and deterministic context-free languages. Semigroup Forum 85(1), 129–146 (2012)MATHMathSciNetCrossRef
11.
Haataja, S., Margolis, S., Meakin, J.: Bass-Serre theory for groupoids and the structure of full regular semigroup amalgams. J. Algebra 183, 38–54 (1996)MATHMathSciNetCrossRef
12.
Hall, T.E.: Finite inverse semigroups and amalgamation. In: Goberstein, S.M., Higgins, P.M. (eds.) Semigroups and Their Applications, pp. 51–56. Reidel, Dordrecht (1987)CrossRef
13.
Jajcayová, T.: HNN-extensions of inverse semigroups. Ph.D. thesis at University of Nebraska-Lincoln Department of Mathematics and Statistics (1997)
14.
Janin, D.: Toward a higher-dimensional string string theory for the modeling of computerized systems. Technical report RR-1477-13, LaBRI, IPB, Université de Bordeaux (2013)
15.
Jones, P.R., Margolis, S.W., Meakin, J.C., Stephen, J.B.: Free products of inverse semigroups. Glasg. Math. J. 33, 373–387 (1991)MATHMathSciNetCrossRef
16.
Kellendonk, J.: The local structure of tiling and their integer group of coinvariance. Commun. Math. Phys. 187, 115–157 (1997)MATHMathSciNetCrossRef
17.
18.
Kimura, N.: On semigroups. Ph.D. thesis at Tulane University of Louisiana (1957)
19.
Lawson, M.V.: Inverse Semigroups. The Theory of Partial Symmetries. World Scientific, River Edge (1998)MATHCrossRef
20.
Margolis, S., Meakin, J., Sapir, M.: Algorithmic problems in groups, semigroups and inverse semigroups. In: Fountain, J. (ed.) Semigroups, Formal Languages and Groups, pp. 147–214 (1995)
21.
Meakin, J.: Inverse semigroups: some open questions (2012)
22.
Morita, K.: Universality of a reversible two-counter machine. Theor. Comput. Sci. 168, 303–320 (1996)MATHCrossRef
23.
Novikov, P.S.: On the algorithmic unsolvability of the word problem in group theory. Trudy Matematicheskogo Instituta imeni VA Steklova 3(29), 44–143 (1955)
24.
Paterson, A.L.T.: Grupoids, Inverse Semigroups, and Their Operator Algebras. Birkhauser Boston, Boston (1999)CrossRef
25.
Petrich, M.: Inverse Semigroups. Wiley, New York (1984)MATH
26.
27.
Rodaro, E., Cherubini, A.: Decidability of the word problem in Yamamura’s HNN-extensions of finite inverse semigroups. Semigroup Forum 77(2), 163–186 (2008)MATHMathSciNetCrossRef
28.
Rodaro, E., Silva, P.V.: Amalgams of inverse semigroups and reversible two-counter machines. J. Pure Appl. Algebra 217(4), 585–597 (2013)MATHMathSciNetCrossRef
29.
30.
Steinberg, B.: A topological approach to inverse and regular semigroups. Pac. J. Math. 208(2), 367–396 (2003)MATHCrossRef
31.
32.
Metadaten
Titel
Decidability Versus Undecidability of the Word Problem in Amalgams of Inverse Semigroups
verfasst von
Alessandra Cherubini
Emanuele Rodaro
Copyright-Jahr
2015
Verlag
Springer India
Buch
Semigroups, Algebras and Operator Theory

Print ISBN: 978-81-322-2487-7

Electronic ISBN: 978-81-322-2488-4

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-81-322-2488-4_1