On varieties of meet automata

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Název česky	Variety průsekových automatů
Autoři	KLÍMA Ondřej POLÁK Libor
Rok publikování	2008
Druh	Článek v odborném periodiku
Časopis / Zdroj	Theoretical Computer Science
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
Obor	Obecná matematika
Klíčová slova	varieties of languages; varieties of meet automata; varieties of semiring homomorphisms
Popis	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.
Související projekty:	Institut Teoretické Informatiky Matematické struktury a jejich fyzikální aplikace Algebraické metody v teorii automatů a formálních jazyků