Deterministic Biautomata and Subclasses of Deterministic Linear Languages
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%3A00108265" target="_blank" >RIV/00216224:14310/19:00108265 - isvavai.cz</a>
Výsledek na webu
<a href="https://rd.springer.com/chapter/10.1007%2F978-3-030-13435-8_23" target="_blank" >https://rd.springer.com/chapter/10.1007%2F978-3-030-13435-8_23</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-13435-8_23" target="_blank" >10.1007/978-3-030-13435-8_23</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Deterministic Biautomata and Subclasses of Deterministic Linear Languages
Popis výsledku v původním jazyce
We propose the notion of a deterministic biautomaton, a machine reading an input word from both ends. We focus on various subclasses of deterministic linear languages and give their characterizations by certain subclasses of deterministic biautomata. We use these characterizations to establish closure properties of the studied subclasses of languages and to get basic decidability results concerning them.
Název v anglickém jazyce
Deterministic Biautomata and Subclasses of Deterministic Linear Languages
Popis výsledku anglicky
We propose the notion of a deterministic biautomaton, a machine reading an input word from both ends. We focus on various subclasses of deterministic linear languages and give their characterizations by certain subclasses of deterministic biautomata. We use these characterizations to establish closure properties of the studied subclasses of languages and to get basic decidability results concerning them.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</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
315-327
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
—