Equational description of pseudovarieties of homomorphisms

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F03%3A00008400" target="_blank" >RIV/00216224:14310/03:00008400 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Equational description of pseudovarieties of homomorphisms

Popis výsledku v původním jazyce

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ázev v anglickém jazyce

Equational description of pseudovarieties of homomorphisms

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F01%2F0323" target="_blank" >GA201/01/0323: Ekvacionální logika pologrup a aplikace</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2003

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

RAIRO - Theoretical Informatics and Applications

ISSN

0988-3754

e-ISSN

—

Svazek periodika

37

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

FR - Francouzská republika

Počet stran výsledku

12

Strana od-do

243

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—