Informace o publikaci
Splitting conditions for classes of meet automata
Název česky | Štěpící podmínky pro třídy průsekových automatů |
---|---|
Autoři | |
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 | |
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: |