Проблема остановки в теории алгоритмов и не только (Кристиан Калюд) " Складчикам Проблема остановки является примером задач