Waltherova rekurze - Walther recursion

tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Waltherova rekurze“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Září 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

V počítačovém programování Waltherova rekurze (pojmenoval podle Christoph Walther ) je metoda analýzy rekurzivních funkcí, která dokáže určit, zda je funkce rozhodně ukončení, dané konečné vstupy. Umožňuje přirozenější styl vyjadřování výpočtu než pouhé použití primitivní rekurzivní funkce.

Protože zastavení problému nelze vyřešit obecně, stále musí existovat programy, které se ukončují, ale jejichž Waltherova rekurze se nedokáže ukončit. Waltherovu rekurzi lze použít v celkem funkčních jazyků s cílem umožnit liberálnější styl zobrazování primitivní rekurze.

Viz také

• BlooP a FlooP
• Analýza ukončení
• Total Turingův stroj

Reference

• Walther, Christoph (1991). „O prokázání strojového ukončení algoritmů“ (PDF). Umělá inteligence. 70 (1).
• Wu, Alexander (1994). Automatizované důkazy o ukončení pomocí rekurze Walther (Teze). Massachusetts Institute of Technology. Citováno 2014-09-15.
• McAllester, David A.; Arkoudas, Kostas (1996). McRobbie, Michael A .; Slaney, J.K. (eds.). Waltherova rekurze. Sborník z 13. mezinárodní konference o automatizovaném odpočtu. New Brunswick, NJ, USA: Springer-Verlag. 643–657. ISBN  3-540-61511-3.

Tento programování související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.