On Varieties of Ordered Automata
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F19%3A00108264" target="_blank" >RIV/00216224:14310/19:00108264 - isvavai.cz</a>
Výsledek na webu
<a href="https://rd.springer.com/chapter/10.1007%2F978-3-030-13435-8_8" target="_blank" >https://rd.springer.com/chapter/10.1007%2F978-3-030-13435-8_8</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-13435-8_8" target="_blank" >10.1007/978-3-030-13435-8_8</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Varieties of Ordered Automata
Popis výsledku v původním jazyce
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ázev v anglickém jazyce
On Varieties of Ordered Automata
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GA15-02862S" target="_blank" >GA15-02862S: Aplikace algebry a kombinatoriky v teorii formálních jazyků</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Language and Automata Theory and Applications
ISBN
9783030134341
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
13
Strana od-do
108-120
Název nakladatele
Springer Verlag
Místo vydání
Germany
Místo konání akce
St. Petersburg, Russia
Datum konání akce
26. 3. 2019
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—