A classification of rational languages by semilattice-ordered monoids

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F04%3A00021275" target="_blank" >RIV/00216224:14310/04:00021275 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

A classification of rational languages by semilattice-ordered monoids

Original language description

We prove here an Eilenberg type theorem: the so-called conjunctive varieties of rational languages correspond to the pseudovarieties of finite semilattice-ordered monoids.Taking complements of members of a conjunctive variety of languages we get a so-called disjunctive variety. We present here a non-trivial example of such a variety together with an equational characterization of the corresponding pseudovariety.

Czech name

Klasifikace racionálních jazyků pomocí polosvazově uspořádaných monoidů

Czech description

Dokazujeme větu Eilenbergova typu : tzv. konjunktivní variety racionálních jazyků odpovídají pseudovarietám konečných polosvazově uspořádaných monoidů. Přechodem ke komplementům konjunktivních variet dostáváme tzv. disjunktivní variety. Prezentujeme netriviální příklad takové variety společně s ekvacionální charakterizcí příslušné pseudovariety.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2004

Confidentiality

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

Name of the periodical

Archivum Mathematicum

ISSN

1212-5059

e-ISSN

—

Volume of the periodical

40

Issue of the periodical within the volume

4

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

12

Pages from-to

395-406

UT code for WoS article

—

EID of the result in the Scopus database

—