Informace o publikaci

Rewriting in Varieties of Idempotent Semigroups

Autoři

KLÍMA Ondřej KORBELÁŘ Miroslav POLÁK Libor

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info