Non-recursive Trade-offs between Two-Dimensional Automata and Grammars
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F14%3A00223264" target="_blank" >RIV/68407700:21230/14:00223264 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-09704-6_31" target="_blank" >http://dx.doi.org/10.1007/978-3-319-09704-6_31</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-09704-6_31" target="_blank" >10.1007/978-3-319-09704-6_31</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Non-recursive Trade-offs between Two-Dimensional Automata and Grammars
Popis výsledku v původním jazyce
We study succinctness of descriptional systems for picture languages. Basic models of two-dimensional finite automata and generalizations of context-free grammars are considered. It is shown t hat non-recursive trade-offs between the systems are very common. The results are based on the ability of th e systems to simulate Turing machines.
Název v anglickém jazyce
Non-recursive Trade-offs between Two-Dimensional Automata and Grammars
Popis výsledku anglicky
We study succinctness of descriptional systems for picture languages. Basic models of two-dimensional finite automata and generalizations of context-free grammars are considered. It is shown t hat non-recursive trade-offs between the systems are very common. The results are based on the ability of th e systems to simulate Turing machines.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP103%2F10%2F0783" target="_blank" >GAP103/10/0783: Struktura a její využití při rozpoznávání</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
DCFS 2014: Proceedings of the 16th International Workshop on Descriptional Complexity of Formal Systems
ISBN
978-3-319-09703-9
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
12
Strana od-do
352-363
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Turku
Datum konání akce
5. 8. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000343868700031