KLÍMA, Ondřej a Libor POLÁK. On varieties of meet automata. Theoretical Computer Science. Amsterdam, Nizozemí: Elsevier, 2008, roč. 407, 1-3, s. 278-289. ISSN 0304-3975.
Další formáty:   BibTeX LaTeX RIS
Zá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 (203 Česká republika) a Libor POLÁK (203 Česká republika, garant).
Vydání Theoretical Computer Science, Amsterdam, Nizozemí, Elsevier, 2008, 0304-3975.
Další údaje
Originální 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
Štítky varieties of languages, varieties of meet automata, varieties of semiring homomorphisms
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. Mgr. Ondřej Klíma, Ph.D., učo 3868. Změněno: 18. 6. 2009 19:26.
Anotace
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.
Anotace č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 VaVNázev: Algebraické metody v teorii automatů a formálních jazyků
Investor: Grantová agentura ČR, Algebraické metody v teorii automatů a formálních jazyků
MSM0021622409, záměrNázev: Matematické struktury a jejich fyzikální aplikace
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury a jejich fyzikální aplikace
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky
VytisknoutZobrazeno: 19. 9. 2024 16:31