Teorie vyčíslitelnosti: Porovnání verzí
m Robot: přidáno {{Autoritní data}}; kosmetické úpravy |
intuitivnost algoritmu v Church-Turing. tezi |
||
Řádek 7: | Řádek 7: | ||
== Zajímavé hypotézy == |
== Zajímavé hypotézy == |
||
* Ke každému algoritmu existuje ekvivalentní Turingův stroj (tzv. [[Church-Turingova teze]]). |
* Ke každému algoritmu (v intuitivním smyslu) existuje ekvivalentní Turingův stroj (tzv. [[Church-Turingova teze]]). |
||
== Literatura == |
== Literatura == |
Verze z 14. 4. 2020, 13:35
Teorie vyčíslitelnosti je vědní obor na pomezí matematiky a informatiky, který zkoumá otázky algoritmické řešitelnosti problémů. Vytváří teoretický základ a zkoumá možnosti a hranice využití algoritmicky pracujících postupů, což se v praxi uplatňuje především na počítačové programy. Pod pojmem algoritmu se běžně rozumí mechanizovaný postup, který lze realizovat třeba na Turingově stroji. Významnou roli ve filozofickém podložení teorie vyčíslitelnosti hraje Church-Turingova teze, podle níž jsou všechny „rozumné“ výpočetní modely ekvivalentní Turingově stroji.
Pro teoretický popis pojmu algoritmu se využívá množství výpočetních modelů – například Turingův stroj, částečně rekurzivní funkce, RAM stroj a Lambda kalkul (nebo kombinatorická logika).
Zajímavé výsledky
- Nelze zkonstruovat algoritmus, který by pro obecný program ověřil konečnost jeho běhu (tzv. problém zastavení).
Zajímavé hypotézy
- Ke každému algoritmu (v intuitivním smyslu) existuje ekvivalentní Turingův stroj (tzv. Church-Turingova teze).
Literatura
- SIPSER, Michael. Introduction to the Theory of Computation. [s.l.]: Cengage Learning, 2005. 400 s. ISBN 0619217642.
- HOPCROFT, John. Introduction to Automata Theory, Languages, and Computation. [s.l.]: Pearson Education, 2007. ISBN 0321514483.