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”

P systémy bez priorit jsou výpočetně univerzální

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F47813059%3A19240%2F03%3A%230001884" target="_blank" >RIV/47813059:19240/03:#0001884 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    P systems without priorities are computationally universal

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

    The "classical" model of P systems was introduced by Gheorghe Paun in 1998; this model with symbol objects was shown to be computationally universal in [8], provided that catalysts and priorities of rules axe used. We now show by reduction via register machines that the priorities may be omitted from the model without loss of computational power. As a consequence, several universality results for P systems in [10] are improved.

  • Název v anglickém jazyce

    P systems without priorities are computationally universal

  • Popis výsledku anglicky

    The "classical" model of P systems was introduced by Gheorghe Paun in 1998; this model with symbol objects was shown to be computationally universal in [8], provided that catalysts and priorities of rules axe used. We now show by reduction via register machines that the priorities may be omitted from the model without loss of computational power. As a consequence, several universality results for P systems in [10] are improved.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    IN - Informatika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    S - Specificky vyzkum na vysokych skolach

Ostatní

  • Rok uplatnění

    2003

  • 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

    MEMBRANE COMPUTING

  • ISBN

    3-540-00611-7

  • ISSN

    0302-9743

  • e-ISSN

  • Počet stran výsledku

    10

  • Strana od-do

  • Název nakladatele

    Springer

  • Místo vydání

    Berlin

  • Místo konání akce

    CURTEA DE ARGES

  • Datum konání akce

    1. 1. 2002

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku