Rewriting in Varieties of Idempotent Semigroups

KLÍMA, Ondřej; Miroslav KORBELÁŘ a Libor POLÁK. Rewriting in Varieties of Idempotent Semigroups. In Franz Winkler. Algebraic Informatics. Berlin: Springer, 2011, s. 185-200. ISBN 978-3-642-21492-9. Dostupné z: https://doi.org/10.1007/978-3-642-21493-6_12.

Základní údaje

Originální název

Rewriting in Varieties of Idempotent Semigroups

Autoři

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

Vydání

Berlin, Algebraic Informatics, od s. 185-200, 16 s. 2011

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10101 Pure mathematics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14310/11:00050146

Organizační jednotka

Přírodovědecká fakulta

ISBN

978-3-642-21492-9

ISSN

DOI

https://doi.org/10.1007/978-3-642-21493-6_12

Klíčová slova anglicky

Rewriting; identity problems; varieties of semigroups

Štítky

AKR, rivok

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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.

---

Návaznosti

GA201/09/1313, projekt VaV	Název: Algebraické metody v teorii automatů a formálních jazyků II Investor: Grantová agentura ČR, Algebraické metody v teorii automatů a formálních jazyků II
LC505, projekt VaV	Název: Centrum Eduarda Čecha pro algebru a geometrii Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Centrum Eduarda Čecha pro algebru a geometrii
MSM0021622409, záměr	Název: Matematické struktury a jejich fyzikální aplikace Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury a jejich fyzikální aplikace
1M0545, projekt VaV	Název: Institut Teoretické Informatiky Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky