Rewriting in Varieties of Idempotent Semigroups

• Autoři: KLÍMA Ondřej; KORBELÁŘ Miroslav; POLÁK Libor
• Rok publikování: 2011
• Druh: Článek ve sborníku
• Konference: Algebraic Informatics
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• Doi: http://dx.doi.org/10.1007/978-3-642-21493-6_12
• Obor: Obecná matematika
• Klíčová slova: Rewriting; identity problems; varieties of semigroups
• Popis: We consider rewriting as a tool for solving identity problems in varieties of idempotent semigroups. It is known that there exist finite canonical term rewrite systems and finite canonical word rewrite systems for only a very limited number of those varieties. We present a finite canonical conditional word rewrite system for a particular variety in which the classical approaches cannot be applied. Moreover, we obtain infinite single letter deleting rewrite systems for each join-irreducible variety.

Související projekty

• Institut Teoretické Informatiky
• Matematické struktury a jejich fyzikální aplikace
• Centrum Eduarda Čecha pro algebru a geometrii
• Algebraické metody v teorii automatů a formálních jazyků II