2008
On varieties of meet automata
KLÍMA, Ondřej a Libor POLÁKZákladní údaje
Originální název
On varieties of meet automata
Název česky
Variety průsekových automatů
Autoři
KLÍMA, Ondřej a Libor POLÁK
Vydání
Theoretical Computer Science, Amsterdam, Nizozemí, Elsevier, 2008, 0304-3975
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10101 Pure mathematics
Stát vydavatele
Nizozemské království
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.806
Kód RIV
RIV/00216224:14310/08:00025040
Organizační jednotka
Přírodovědecká fakulta
UT WoS
000260975400019
Klíčová slova anglicky
varieties of languages; varieties of meet automata; varieties of semiring homomorphisms
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 18. 6. 2009 19:26, doc. Mgr. Ondřej Klíma, Ph.D.
V originále
Eilenberg's variety theorem gives a bijective correspondence between varieties of languages and varieties of finite semigroups. The second author gave a similar relation between conjunctive varieties of languages and varieties of semiring homomorphisms. In this paper, we add a third component to this result by considering varieties of meet automata. We consider three significant classes of languages, two of them consisting of reversible languages. We present conditions on meet automata and identities for semiring homomorphisms for their characterization.
Česky
Eilenbergova věta o varietách popisuje jednoznačnou korespondenci mezi varietami jazyků a varietami konečných pologrup. Druhý autor popsal podobnou korespondenci mezi konjunktivními varietami jazyků a varietami polookruhových homomorfismů. V tomto článku přidáváme třetí komponentu - uvažujeme též variety průsekových automatů. Ukazujeme tři podstatné příklady tříd jazyků, z nichž dva pracují s reversibilními jazyky. Pro jejich popis dáváme charakterizujicí podmínky.
Návaznosti
| GA201/06/0936, projekt VaV |
| ||
| MSM0021622409, záměr |
| ||
| 1M0545, projekt VaV |
|