Splitting conditions for classes of meet automata

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Název česky	Štěpící podmínky pro třídy průsekových automatů
Autoři	KLÍMA Ondřej POLÁK Libor
Rok publikování	2007
Druh	Článek ve sborníku
Konference	Proceedings AutoMathA 2007, June 18-22, 2007, Palermo, Italy (CD)
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
Obor	Obecná matematika
Klíčová slova	varieties of languages; meet automata; universal automata
Popis	V nedávné práci jsme zavedli průsekové automaty jako nový (algebraický) pojem pro studium přirozených tříd jazyků, Faktorizovali jsme nejobecnější větu Eilenbergova typu přes variety průsekových automatů. Jediná syntaktická prezentace takovýchto tříd bylo použití pseudoidentit pro transformační polookruhy těchto automatů. Zde prezentujeme nový typ podmínek vhodných pro identifikaci tříd průsekových automatů. Nacházíme bohaté hierarchie takovýchto tříd, některé z nich příbuzné reverzibilním jazykům.
Související projekty:	Matematické struktury a jejich fyzikální aplikace Algebraické metody v teorii automatů a formálních jazyků