KLÍMA, Ondřej a Libor POLÁK. On Varieties of Ordered Automata. Online. In Carlos Martín-Vide; Alexander Okhotin; Dana Shapira. Language and Automata Theory and Applications. Germany: Springer Verlag, 2019, s. 108-120. ISBN 978-3-030-13434-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-13435-8_8.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On Varieties of Ordered Automata
Autoři KLÍMA, Ondřej (203 Česká republika, garant, domácí) a Libor POLÁK (203 Česká republika, domácí).
Vydání Germany, Language and Automata Theory and Applications, od s. 108-120, 13 s. 2019.
Nakladatel Springer Verlag
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10101 Pure mathematics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Forma vydání elektronická verze "online"
WWW URL
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14310/19:00108264
Organizační jednotka Přírodovědecká fakulta
ISBN 978-3-030-13434-1
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-030-13435-8_8
Klíčová slova anglicky Algebraic language theory; Ordered automata
Štítky rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: Mgr. Marie Šípková, DiS., učo 437722. Změněno: 15. 4. 2020 13:42.
Anotace
The Eilenberg correspondence relates varieties of regular languages with pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex algebraic structures on the other hand. It is also possible to consider classes of automata instead of algebraic structures as a natural counterpart of classes of languages. Here we deal with the correspondence relating positive C -varieties of languages to positive C -varieties of ordered automata and we demonstrate various specific instances of this correspondence. These bring certain well-known results from a new perspective and also some new observations. Moreover, complexity aspects of the membership problem are discussed both in the particular examples and in a general setting.
Návaznosti
GA15-02862S, projekt VaVNázev: Aplikace algebry a kombinatoriky v teorii formálních jazyků
Investor: Grantová agentura ČR, Aplikace algebry a kombinatoriky v teorii formálních jazyků
VytisknoutZobrazeno: 26. 4. 2024 07:56