Weight-Reducing Hennie Machines and Their Descriptional Complexity
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%3A00217908" target="_blank" >RIV/68407700:21230/14:00217908 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-04921-2_45" target="_blank" >http://dx.doi.org/10.1007/978-3-319-04921-2_45</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-04921-2_45" target="_blank" >10.1007/978-3-319-04921-2_45</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Weight-Reducing Hennie Machines and Their Descriptional Complexity
Popis výsledku v původním jazyce
We present a constructive variant of the Hennie machine. It is demonstrated how it can facilitate the design of finite-state machines. We focus on the d eterministic version of the model and study its descriptional complexity. The model's suc cinctness is compared with common devices that include the nondeterministic finite automa ton, two-way finite automaton and pebble automaton.
Název v anglickém jazyce
Weight-Reducing Hennie Machines and Their Descriptional Complexity
Popis výsledku anglicky
We present a constructive variant of the Hennie machine. It is demonstrated how it can facilitate the design of finite-state machines. We focus on the d eterministic version of the model and study its descriptional complexity. The model's suc cinctness is compared with common devices that include the nondeterministic finite automa ton, two-way finite automaton and pebble automaton.
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
LATA 2014: Proceedings of the 8th International Conference on Language an d Automata Theory and Applications
ISBN
978-3-319-04920-5
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
12
Strana od-do
553-564
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Madrid
Datum konání akce
10. 3. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—