12 vztahy: Aritmetická hierarchie, Chomského hierarchie, Churchova–Turingova teze, Efektivita, Formální gramatika, Formální jazyk, Počítač, Problém zastavení, Programovací jazyk, Rekurzivně spočetný jazyk, Teorie vyčíslitelnosti, Turingův stroj.
Aritmetická hierarchie
Související obrázek Aritmetická hierarchie (také Kleeneova hierarchie) je v matematické logice způsob klasifikace podmnožin přirozených čísel s ohledem na složitost formulí, které je definují.
Nový!!: Turingovská úplnost a Aritmetická hierarchie · 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ý!!: Turingovská úplnost a Chomského hierarchie · Vidět víc »
Churchova–Turingova teze
V teorii vyčíslitelnosti se pojmy Churchova–Turingova teze, Churchova teze a Turingova teze označuje hypotéza o povaze a výpočetní síle mechanických strojů počítajících matematické funkce.
Nový!!: Turingovská úplnost a Churchova–Turingova teze · Vidět víc »
Efektivita
#PŘESMĚRUJ Efektivnost Kategorie:Přesměrování ze synonyma Kategorie:Přesměrování na rozcestník.
Nový!!: Turingovská úplnost a Efektivita · Vidět víc »
Formální gramatika
Formální gramatika v informatice označuje strukturu, která popisuje formální jazyk.
Nový!!: Turingovská úplnost 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ý!!: Turingovská úplnost a Formální jazyk · Vidět víc »
Počítač
Počítač je číslicový elektronický stroj, který lze naprogramovat tak, aby automaticky prováděl posloupnosti aritmetických nebo logických operací (výpočty).
Nový!!: Turingovská úplnost a Počítač · Vidět víc »
Problém zastavení
Problém zastavení (halting problem) je úloha teorie vyčíslitelnosti, která může být neformálně zadána takto: V roce 1936 Alan Turing dokázal, že obecný algoritmus, který by řešil problém zastavení pro všechny vstupy všech programů, neexistuje.
Nový!!: Turingovská úplnost a Problém zastavení · 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ý!!: Turingovská úplnost a Programovací 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ý!!: Turingovská úplnost a Rekurzivně spočetný jazyk · Vidět víc »
Teorie vyčíslitelnosti
Teorie vyčíslitelnosti je obor na pomezí matematiky a informatiky, který zkoumá otázky algoritmické řešitelnosti problémů.
Nový!!: Turingovská úplnost a Teorie vyčíslitelnosti · 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ý!!: Turingovská úplnost a Turingův stroj · Vidět víc »