J 2003

Equational description of pseudovarieties of homomorphisms

KUNC, Michal

Základní údaje

Originální název

Equational description of pseudovarieties of homomorphisms

Autoři

Vydání

RAIRO - Theoretical Informatics and Applications, Les Ulis (Francie), EDP Sciences, 2003, 0988-3754

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Francie

Utajení

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

Odkazy

Impakt faktor

Impact factor: 0.339

Kód RIV

RIV/00216224:14310/03:00008400

Organizační jednotka

Přírodovědecká fakulta

UT WoS

000187672500002

Klíčová slova anglicky

Pseudovariety; Pseudoidentity; Implicit operation; Variety of regular languages; Syntactic homomorphism

Štítky

Změněno: 10. 12. 2003 12:13, doc. Mgr. Michal Kunc, Ph.D.

Anotace

V originále

The notion of pseudovarieties of homomorphisms onto finite monoids was recently introduced by Straubing as an algebraic characterization for certain classes of regular languages. In this paper we provide a mechanism of equational description of these pseudovarieties based on an appropriate generalization of the notion of implicit operations. We show that the resulting metric monoids of implicit operations coincide with the standard ones, the only difference being the actual interpretation of pseudoidentities. As an example, an equational characterization of the pseudovariety corresponding to the class of regular languages in AC0 is given.

Návaznosti

GA201/01/0323, projekt VaV
Název: Ekvacionální logika pologrup a aplikace
Investor: Grantová agentura ČR, Ekvacionální logika pologrup a aplikace