14 vztahy: Bezkontextová gramatika, Doplněk množiny, Formální jazyk, Iterace, Konečný automat, Kontextová gramatika, Přirozené číslo, Postova věta, Průnik, Regulární jazyk, Rekurzivně spočetný jazyk, Sjednocení, Turingův stroj, Zřetězení.
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ý!!: Rekurzivní jazyk a Bezkontextová gramatika · Vidět víc »
Doplněk množiny
'''Doplněk''' množiny A v U:A^c.
Nový!!: Rekurzivní jazyk a Doplněk množiny · 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ý!!: Rekurzivní jazyk a Formální jazyk · Vidět víc »
Iterace
Ukázka postupu iterativního výpočtu, který konverguje k finálnímu výsledku. Slovo iterace může být použito ve stejném významu jako opakování (lat. iterāre – opakovat).
Nový!!: Rekurzivní jazyk a Iterace · Vidět víc »
Konečný automat
Konečný automat (KA, též FSM z anglického finite state machine, či DFA z anglického deterministic finite automaton) je teoretický výpočetní model používaný v informatice pro studium formálních jazyků.
Nový!!: Rekurzivní jazyk a Konečný automat · Vidět víc »
Kontextová gramatika
Kontextová gramatika je formální gramatika G.
Nový!!: Rekurzivní jazyk a Kontextová gramatika · Vidět víc »
Přirozené číslo
Přirozeným číslem se v matematice rozumí číslo, které je možné použít pro vyjádření počtu („na stole je šest mincí“) nebo pořadí („toto je třetí největší město“) prvků konečných množin.
Nový!!: Rekurzivní jazyk a Přirozené číslo · Vidět víc »
Postova věta
Postova věta popisuje v teoretické informatice vztah mezi rekurzivitou a rekurzivní spočetností.
Nový!!: Rekurzivní jazyk a Postova věta · 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ý!!: Rekurzivní jazyk a Průnik · Vidět víc »
Regulární jazyk
Regulární jazyky jsou nejjednodušší formální jazyky v rámci Chomského hierarchie.
Nový!!: Rekurzivní jazyk a Regulární jazyk · Vidět víc »
Rekurzivně spočetný jazyk
Formální jazyk L je rekurzivně spočetný, jestliže pro něj existuje Turingův stroj (dále TS), který všechna slova z tohoto jazyka přijímá (akceptuje).
Nový!!: Rekurzivní jazyk a Rekurzivně spočetný jazyk · 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ý!!: Rekurzivní jazyk a Sjednocení · Vidět víc »
Turingův stroj
Umělecké znázornění Turingova stroje Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem, který se používá pro modelování algoritmů v teorii vyčíslitelnosti.
Nový!!: Rekurzivní jazyk a Turingův stroj · Vidět víc »
Zřetězení
Zřetězení je v programování označení operace spojení textových řetězců jeden k druhému (tzv. end-to-end).
Nový!!: Rekurzivní jazyk a Zřetězení · Vidět víc »