KLÍMA, Ondřej a Libor POLÁK. Splitting conditions for classes of meet automata. In Proceedings AutoMathA 2007, June 18-22, 2007, Palermo, Italy (CD). Palermo, Italy: University Palermo, 2007. s. 1-12, 12 s.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Splitting conditions for classes of meet automata
Název česky Štěpící podmínky pro třídy průsekových automatů
Autoři KLÍMA, Ondřej a Libor POLÁK.
Vydání Palermo, Italy, Proceedings AutoMathA 2007, June 18-22, 2007, Palermo, Italy (CD), od s. 1-12, 12 s. 2007.
Nakladatel University Palermo
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor Pure mathematics
Stát vydavatele Itálie
Utajení není předmětem státního či obchodního tajemství
Organizační jednotka Přírodovědecká fakulta
Klíčová slova anglicky varieties of languages; meet automata; universal automata
Štítky meet automata, universal automata, varieties of languages
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. RNDr. Libor Polák, CSc., učo 107. Změněno: 29. 6. 2008 18:25.
Anotace
In a recent paper we introduced meet automata as a new (algebraic) concept for studying natural classes of languages. We factorized the most general Eilenberg-type theorem through varieties of meet automata. The only syntactic presentation of such classes was the usage of pseudoidentities on transformation semirings of such automata. Here we present a new type of conditions suitable for identification of classes of meet automata. We found rich hierarchies of such classes, several of them related to the reversible automata.
Anotace česky
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.
Návaznosti
GA201/06/0936, projekt VaVNázev: Algebraické metody v teorii automatů a formálních jazyků
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622409, záměrNázev: Matematické struktury a jejich fyzikální aplikace
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
VytisknoutZobrazeno: 20. 8. 2019 22:41