Rewriting in Varieties of Idempotent Semigroups

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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