Jumping Finite Automata
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F12%3APU103009" target="_blank" >RIV/00216305:26230/12:PU103009 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1142/S0129054112500244" target="_blank" >http://dx.doi.org/10.1142/S0129054112500244</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1142/S0129054112500244" target="_blank" >10.1142/S0129054112500244</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Jumping Finite Automata
Popis výsledku v původním jazyce
The present paper proposes a new investigation area in automata theory: jumping finite automata. These automata work like classical finite automata except that they read input words discontinuously; that is, after reading a symbol, they can jump over some symbols within the words and continue their computation from there. The paper establishes several results concerning jumping finite automata in terms of commonly investigated areas of automata theory, such as decidability and closure properties. Most importantly, it achieves several results that demonstrate differences between jumping finite automata and classical finite automata. In its conclusion, the paper formulates several open problems and suggests future investigation areas.
Název v anglickém jazyce
Jumping Finite Automata
Popis výsledku anglicky
The present paper proposes a new investigation area in automata theory: jumping finite automata. These automata work like classical finite automata except that they read input words discontinuously; that is, after reading a symbol, they can jump over some symbols within the words and continue their computation from there. The paper establishes several results concerning jumping finite automata in terms of commonly investigated areas of automata theory, such as decidability and closure properties. Most importantly, it achieves several results that demonstrate differences between jumping finite automata and classical finite automata. In its conclusion, the paper formulates several open problems and suggests future investigation areas.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: Centrum excelence IT4Innovations</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2012
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 periodika
International Journal of Foundations of Computer Science
ISSN
0129-0541
e-ISSN
—
Svazek periodika
23
Číslo periodika v rámci svazku
7
Stát vydavatele periodika
SG - Singapurská republika
Počet stran výsledku
24
Strana od-do
1555-1578
Kód UT WoS článku
000314423000011
EID výsledku v databázi Scopus
—