Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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