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

25 944 (0,134s)

Výsledek výzkumu

On Parallel Versions of Jumping Finite Automata

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2016
  • D
  • Odkaz
Výsledek výzkumu

Sebeřídící konečné automaty

Zavedení a studium sebeřídících konečných automatů.
...

BD - Teorie informace

  • 2007
  • Jx
Výsledek výzkumu

Start String in Formal Language Theory

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

  • 2008
  • D
Výsledek výzkumu

Infinite Language Hierarchy Based on Regular-Regulated Right-Linear Grammars with Start Strings

V článku jsou diskutovány pravě lineární gramatiky regulované regulárními gramatikami se startovacími řetězci a jejich generativní síla v případě dalších omezení....

IN - Informatika

  • 2008
  • Jx
Výsledek výzkumu

Scattered Context Grammars Generating Sentences Followed by Derivation Trees

IN - Informatika

  • 2011
  • Jx
Výsledek výzkumu

Descriptional Complexity of Partially Parallel Grammars

BD - Teorie informace

  • 2001
  • D
Výsledek výzkumu

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2024
  • D
  • Odkaz
Výsledek výzkumu

Jumping Pure Grammars

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2019
  • Jimp
  • Odkaz
Výsledek výzkumu

Lineární n-paralelní automaty

Lineární n-paralelní automaty představují jednoduchý formální model paralelního výpočtu. Tyto automaty přijímají jazyky s ohledem na analogii omezeného paralelismu v rámci lineárních n-paralelních gramatik. V rámci své vyjadřovací s...

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

  • 2005
  • D
Výsledek výzkumu

Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals

BA - Obecná matematika

  • 2010
  • Jx
  • 1 - 10 z 25 944