Вальтер рекурсиясы - Walther recursion

Бұл мақала үшін қосымша дәйексөздер қажет тексеру. Өтінемін көмектесіңіз осы мақаланы жақсарту арқылы дәйексөздерді сенімді дерек көздеріне қосу. Ресурссыз материалға шағым жасалуы және алынып тасталуы мүмкін. Дереккөздерді табу: «Уолтер рекурсиясы»  – жаңалықтар  · газеттер  · кітаптар  · ғалым  · JSTOR (Қыркүйек 2011) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Компьютерлік бағдарламалауда Вальтер рекурсиясы (атымен Кристоф Уолтер ) - бұл функцияның нақты болатындығын анықтай алатын рекурсивті функцияларды талдау әдісі тоқтату, берілген кірістер. Бұл есептеуді жай қолданудан гөрі табиғи стильге мүмкіндік береді алғашқы рекурсивті функциялар.

Бастап мәселені тоқтату жалпы шешу мүмкін емес, әлі де аяқталатын бағдарламалар болуы керек, бірақ оларды Уолтер рекурсиясы тоқтата алмайды. Walther рекурсиясын қолдануға болады жалпы функционалды тілдер қарабайыр рекурсияны көрсетудің неғұрлым либералды стиліне жол беру үшін.

Сондай-ақ қараңыз

• BlooP және FlooP
• Аяқтауды талдау
• Total Turing машинасы

Әдебиеттер тізімі

• Уолтер, Христоф (1991). «Алгоритмдердің машинамен тоқтатылуын дәлелдеу туралы» (PDF). Жасанды интеллект. 70 (1).
• Ву, Александр (1994). Walther рекурсиясын қолдана отырып тоқтатудың автоматты дәлелдемелері (Тезис). Массачусетс технологиялық институты. Алынған 2014-09-15.
• Макаллестер, Дэвид А.; Аркудас, Костас (1996). МакРобби, Майкл А .; Слани, Дж. (ред.). Walther Recursion. Автоматтандырылған шегеруге арналған 13-ші халықаралық конференция материалдары. Нью-Brunswick, NJ, АҚШ: Springer-Verlag. 643–657 беттер. ISBN  3-540-61511-3.

Бұл компьютерлік бағдарламалау - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.