On State-Synchronized Automata Systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU121561" target="_blank" >RIV/00216305:26230/16:PU121561 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.ejournals.eu/Schedae-Informaticae/2015/Volume-24/art/7023/" target="_blank" >http://www.ejournals.eu/Schedae-Informaticae/2015/Volume-24/art/7023/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4467/20838476SI.16.019.4360" target="_blank" >10.4467/20838476SI.16.019.4360</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On State-Synchronized Automata Systems
Popis výsledku v původním jazyce
In this paper, we introduce a new kind of automata systems, called state-synchronized automata systems of degree n. In general, they consists of n pushdown automata, referred to as their components. These systems can perform a computation step provided that the concatenation of the current states of all their components belongs to a prescribed control language. As its main result, the paper demonstrates that these systems characterize the family of recursively enumerable languages. In fact, this characterization is demostrated in both deterministic and nondeterministic versions of these systems. Restricting their components, these systems provides less computational power.
Název v anglickém jazyce
On State-Synchronized Automata Systems
Popis výsledku anglicky
In this paper, we introduce a new kind of automata systems, called state-synchronized automata systems of degree n. In general, they consists of n pushdown automata, referred to as their components. These systems can perform a computation step provided that the concatenation of the current states of all their components belongs to a prescribed control language. As its main result, the paper demonstrates that these systems characterize the family of recursively enumerable languages. In fact, this characterization is demostrated in both deterministic and nondeterministic versions of these systems. Restricting their components, these systems provides less computational power.
Klasifikace
Druh
J<sub>SC</sub> - Článek v periodiku v databázi SCOPUS
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2016
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
Schedae Informaticae
ISSN
0860-0295
e-ISSN
—
Svazek periodika
2015
Číslo periodika v rámci svazku
24
Stát vydavatele periodika
PL - Polská republika
Počet stran výsledku
17
Strana od-do
221-237
Kód UT WoS článku
—
EID výsledku v databázi Scopus
2-s2.0-85020929200