D 2011

Rewriting in Varieties of Idempotent Semigroups

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

Basic information

Original name

Rewriting in Varieties of Idempotent Semigroups

Authors

KLÍMA, Ondřej (203 Czech Republic, guarantor, belonging to the institution), Miroslav KORBELÁŘ (203 Czech Republic, belonging to the institution) and Libor POLÁK (203 Czech Republic, belonging to the institution)

Edition

Berlin, Algebraic Informatics, p. 185-200, 16 pp. 2011

Publisher

Springer

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10101 Pure mathematics

Country of publisher

Germany

Confidentiality degree

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

Publication form

printed version "print"

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14310/11:00050146

Organization unit

Faculty of Science

ISBN

978-3-642-21492-9

ISSN

DOI

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

Keywords in English

Rewriting; identity problems; varieties of semigroups

Tags

AKR, rivok

Tags

International impact, Reviewed
Změněno: 17/3/2014 12:30, doc. Mgr. Ondřej Klíma, Ph.D.

Abstract

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.

Links

GA201/09/1313, research and development project
Name: Algebraické metody v teorii automatů a formálních jazyků II
Investor: Czech Science Foundation, Algebraic Methods in Automata and Formal Language Theory II
LC505, research and development project
Name: Centrum Eduarda Čecha pro algebru a geometrii
Investor: Ministry of Education, Youth and Sports of the CR, Eduard Čech Center for Algebra and Geometry
MSM0021622409, plan (intention)
Name: Matematické struktury a jejich fyzikální aplikace
Investor: Ministry of Education, Youth and Sports of the CR, Mathematical structures and their physical applications
1M0545, research and development project
Name: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science
Displayed: 14/11/2024 12:33