Waltherova rekurze - Walther recursion

V počítačovém programování je Waltherova rekurze (pojmenovaná po Christophovi Waltherovi ) metodou analýzy rekurzivních funkcí, která může určit, zda je funkce definitivně ukončena , s ohledem na konečné vstupy. Umožňuje přirozenější styl vyjadřování výpočtu než pouhé použití primitivních rekurzivních funkcí .

Vzhledem k tomu, že problém se zastavením nelze obecně vyřešit, musí stále existovat programy, které se ukončují, ale jejichž Waltherova rekurze se nedokáže ukončit. Waltherova rekurze může být použita v celkových funkčních jazycích , aby umožnila liberálnější styl zobrazování primitivní rekurze.

Viz také

Reference

  • Walther, Christoph (1991). „O prokázání ukončení algoritmů strojem“ (PDF) . Umělá inteligence . 70 (1).
  • Wu, Alexander (1994). Automatizované ukončení důkazy pomocí Waltherovy rekurze (práce). Massachusetts Institute of Technology . Citováno 2014-09-15 .
  • McAllester, David A .; Arkoudas, Kostas (1996). McRobbie, Michael A .; Slaney, JK (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.