Logo
Uniepedie
Sdělení
Nyní na Google Play
Nový! Ke stažení Uniepedie na vašem zařízení se systémem Android™!
Bezplatná
Rychlejší přístup než prohlížeči!
 

Bezkontextový jazyk

Index Bezkontextový jazyk

Bezkontextový jazyk je formální jazyk, který je akceptovaný nějakým zásobníkovým automatem.

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 »

OdchozíPřicházející
Ahoj! Jsme na Facebooku teď! »