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”

Filtry

8 894 (0,143s)

Výsledek výzkumu

Left-Forbidding Cooperating Distributed Grammar Systems

BD - Teorie informace

  • 2008
  • D
Výsledek výzkumu

Left-forbidding cooperating distributed grammar systems

BA - Obecná matematika

  • 2010
  • Jx
Výsledek výzkumu

Scattered Context Grammars Generating Derivation Trees

IN - Informatika

  • 2011
  • D
Výsledek výzkumu

Automatically Generated CSP Specifications

JC - Počítačový hardware a software

  • 2003
  • Jx
Výsledek výzkumu

Model syntaktické analýzy formálních jazyků

JC - Počítačový hardware a software

  • 2002
  • D
Výsledek výzkumu

Cooperating Distributed Grammar Systems with Permitting Grammars as Components

BD - Teorie informace

  • 2009
  • Jx
Výsledek výzkumu

Dvousměrné lineární PC gramatické systémy a jejich popisná složitost

Kromě derivačních a komunikačních kroků dvousměrný PC gramatický systém vykonává také krok redukční, během kterého se nahrazuje pravá strana bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk může být...

JC - Počítačový hardware a software

  • 2005
  • D
Výsledek výzkumu

Dvousměrné lineární PC gramatické systémy

Kromě derivačních a komunikačních kroků může dvousměrný PC gramatický systém vykonávat kroky redukční během nichž nahradí pravou stranu bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk je definován ...

JC - Počítačový hardware a software

  • 2005
  • D
Výsledek výzkumu

Dvousměrné PC gramatické systémy založené na regulárních gramatikách

Kromě derivačních a komunikačních kroků může dvousměrný PC gramatický systém vykonávat kroky redukční během nichž nahradí pravou stranu bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk je definován ...

JC - Počítačový hardware a software

  • 2004
  • D
Výsledek výzkumu

Dvousměrné PC gramatické systémy složené z regulárních gramatik

Kromě derivačních a komunikačních kroků dvousměrný PC gramatický systém vykonává také krok redukční, během kterého se nahrazuje pravá strana bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk může být...

JC - Počítačový hardware a software

  • 2004
  • D
  • 1 - 10 z 8 894