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 the Clases of Languages Accepted by Limited Context Restarting Automata

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F14%3A10290088" target="_blank" >RIV/00216208:11320/14:10290088 - isvavai.cz</a>

  • Výsledek na webu

    <a href="http://dx.doi.org/10.1051/ita/2014001" target="_blank" >http://dx.doi.org/10.1051/ita/2014001</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1051/ita/2014001" target="_blank" >10.1051/ita/2014001</a>

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    On the Clases of Languages Accepted by Limited Context Restarting Automata

  • Popis výsledku v původním jazyce

    In the literature various types of restarting automata have been studied that are based on contextual rewriting. A word w is accepted by such an automaton if, starting from the initial configuration that corresponds to input w, the word w is reduced to the empty word by a finite number of applications of these contextual rewritings. This approach is reminiscent of the notion of McNaughton families of languages. Here we put the aforementioned types of restarting automata into the context of McNaughton families of languages, relating the classes of languages accepted by these automata in particular to the class GCSL of growing context-sensitive languages and to the class CRL of Church-Rosser languages.

  • Název v anglickém jazyce

    On the Clases of Languages Accepted by Limited Context Restarting Automata

  • Popis výsledku anglicky

    In the literature various types of restarting automata have been studied that are based on contextual rewriting. A word w is accepted by such an automaton if, starting from the initial configuration that corresponds to input w, the word w is reduced to the empty word by a finite number of applications of these contextual rewritings. This approach is reminiscent of the notion of McNaughton families of languages. Here we put the aforementioned types of restarting automata into the context of McNaughton families of languages, relating the classes of languages accepted by these automata in particular to the class GCSL of growing context-sensitive languages and to the class CRL of Church-Rosser languages.

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

    Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

  • Návaznosti

    S - Specificky vyzkum na vysokych skolach

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 periodika

    RAIRO - Theoretical Informatics and Applications

  • ISSN

    0988-3754

  • e-ISSN

  • Svazek periodika

    48

  • Číslo periodika v rámci svazku

    1

  • Stát vydavatele periodika

    FR - Francouzská republika

  • Počet stran výsledku

    24

  • Strana od-do

    61-84

  • Kód UT WoS článku

    000333753000005

  • EID výsledku v databázi Scopus