2007
Splitting conditions for classes of meet automata
KLÍMA, Ondřej a Libor POLÁKZá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
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10101 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
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 29. 6. 2008 18:25, doc. RNDr. Libor Polák, CSc.
V originále
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.
Č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 VaV |
| ||
| MSM0021622409, záměr |
|