12 vztahy: Bezkontextová gramatika, Chomského hierarchie, Formální gramatika, Formální jazyk, Lemma o vkládání, Průnik, Programovací jazyk, Regulární jazyk, Rozdíl množin, Sjednocení, Uzávěr množiny, Zásobníkový automat.
Bezkontextová gramatika
V lingvistice a informatice označuje pojem bezkontextová gramatika formální gramatiku, ve které mají všechna přepisovací pravidla tvar kde A je neterminál a β je řetězec složený z terminálů a/nebo neterminálů.
Nový!!: Bezkontextový jazyk a Bezkontextová gramatika · Vidět víc »
Chomského hierarchie
Chomského hierarchie tříd jazyků Chomského hierarchie je hierarchie tříd formálních gramatik generujících formální jazyky.
Nový!!: Bezkontextový jazyk a Chomského hierarchie · Vidět víc »
Formální gramatika
Formální gramatika v informatice označuje strukturu, která popisuje formální jazyk.
Nový!!: Bezkontextový jazyk a Formální gramatika · Vidět víc »
Formální jazyk
Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou.
Nový!!: Bezkontextový jazyk a Formální jazyk · Vidět víc »
Lemma o vkládání
V teorii formálních jazyků je lemma o vkládání (pumping lemma) výrok, že každý jazyk z dané třídy jazyků může být „napumpován“: každé dostatečně dlouhé slovo v daném jazyce může být rozděleno na části, jejichž zopakováním lze získat opět nějaké slovo z jazyka.
Nový!!: Bezkontextový jazyk a Lemma o vkládání · Vidět víc »
Průnik
Průnik dvou množin~A \cap B V matematice se jako průnik dvou nebo více množin označuje taková množina, která obsahuje pouze ty prvky, které se nalézají ve všech těchto množinách.
Nový!!: Bezkontextový jazyk a Průnik · Vidět víc »
Programovací jazyk
Programovací jazyk je prostředek pro zápis algoritmů, jež mohou být provedeny na počítači.
Nový!!: Bezkontextový jazyk a Programovací jazyk · Vidět víc »
Regulární jazyk
Regulární jazyky jsou nejjednodušší formální jazyky v rámci Chomského hierarchie.
Nový!!: Bezkontextový jazyk a Regulární jazyk · Vidět víc »
Rozdíl množin
Rozdíl množiny A (levý kruh) a množiny B (pravý kruh):A \setminus B \;\;.
Nový!!: Bezkontextový jazyk a Rozdíl množin · Vidět víc »
Sjednocení
Sjednocení dvou množin (A \cup B) V matematice se jako sjednocení dvou nebo více množin označuje taková množina, která obsahuje každý prvek, který se nachází alespoň v jedné ze sjednocovaných množin, a žádné další prvky.
Nový!!: Bezkontextový jazyk a Sjednocení · Vidět víc »
Uzávěr množiny
Uzávěr množiny je nejmenší uzavřená množina topologického prostoru, která danou množinu obsahuje.
Nový!!: Bezkontextový jazyk a Uzávěr množiny · Vidět víc »
Zásobníkový automat
Zásobníkový automat (PDA z anglického pushdown automaton) je teoretický výpočetní model používaný v informatice pro studium vyčíslitelnosti a obecně formálních jazyků.
Nový!!: Bezkontextový jazyk a Zásobníkový automat · Vidět víc »