On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F14%3A00082588" target="_blank" >RIV/00216224:14310/14:00082588 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.4204/EPTCS.151.3" target="_blank" >http://dx.doi.org/10.4204/EPTCS.151.3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4204/EPTCS.151.3" target="_blank" >10.4204/EPTCS.151.3</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)
Popis výsledku v původním jazyce
Eilenberg correspondence, based on the concept of syntactic monoids, relates varieties of regular languages with pseudovarieties of finite monoids. Various modifications of this correspondence related more general classes of regular languages with classes of more complex algebraic objects. Such generalized varieties also have natural counterparts formed by classes of finite automata equipped with a certain additional algebraic structure. In this survey, we overview several variants of such varieties ofenriched automata.
Název v anglickém jazyce
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)
Popis výsledku anglicky
Eilenberg correspondence, based on the concept of syntactic monoids, relates varieties of regular languages with pseudovarieties of finite monoids. Various modifications of this correspondence related more general classes of regular languages with classes of more complex algebraic objects. Such generalized varieties also have natural counterparts formed by classes of finite automata equipped with a certain additional algebraic structure. In this survey, we overview several variants of such varieties ofenriched automata.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/EE2.3.20.0051" target="_blank" >EE2.3.20.0051: Algebraické metody v kvantové logice</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2014
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
Proceedings AFL 2014
ISBN
—
ISSN
2075-2180
e-ISSN
—
Počet stran výsledku
6
Strana od-do
49-54
Název nakladatele
EPTCS
Místo vydání
Szeged
Místo konání akce
Szeged, Maďarsko
Datum konání akce
1. 1. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—