Анализ завершения

• Анализ завершения в информатике связан с определением, вычисляет ли программа итоговую функцию. 
• Проблема остановки неразрешима, что делает анализ завершения еще более сложным. 
• Доказательство завершения играет решающую роль в формальной верификации алгоритмов. 
• Простой метод построения доказательств завершения включает привязку меры к каждому шагу алгоритма. 
• Некоторые виды анализа расторжения договора могут автоматически генерировать или подразумевать наличие доказательства расторжения договора. 
• Завершение рекурсивных выражений также неразрешимо, но большинство рекурсивных выражений может быть доказано. 
• Проверка завершения важна в зависимо типизированных языках программирования и системах доказательства теорем. 
• Существуют исследовательские группы, работающие над новыми методами анализа поведения при завершении работы программ.