Splitting conditions for classes of meet automata

Logo poskytovatele

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.