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

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: "Вальтерская рекурсия"  – Новости  · газеты  · книги  · ученый  · JSTOR (Сентябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В компьютерном программировании Рекурсия Вальтера (названный в честь Кристоф Вальтер ) - это метод анализа рекурсивных функций, который может определить, является ли функция определенно прекращение при конечных входах. Это позволяет более естественный стиль выражения вычислений, чем простое использование примитивные рекурсивные функции.

Поскольку проблема остановки не может быть решена в целом, все еще должны быть программы, которые завершаются, но которые рекурсия Вальтера не может доказать для завершения. Рекурсия Вальтера может использоваться в общие функциональные языки чтобы позволить более либеральный стиль отображения примитивной рекурсии.

Смотрите также

• BlooP и FlooP
• Анализ прекращения
• Общая машина Тьюринга

Рекомендации

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

Этот компьютерное программирование -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.