Скажем, я хочу, чтобы найти натуральное число п, которое п + п = 3 Чтобы решить эту проблему в вычислительном отношении, я бы запустить алгоритм:Признание Неразрешимые предложений (бесконечный цикл)
int n = 1;
while(n+n!=3)
n++;
System.out.println(n);
Конечно, мы знаем, что этот цикл представляет собой бесконечный цикл. Но есть ли алгоритм, который может предсказать, будет ли этот цикл бесконечным или конечным? (похоже, но отличается от машины остановки, так как мой желаемый алгоритм рассматривает этот цикл только тогда, когда машина остановки может проверять все петли). Если есть, каков будет алгоритм?
В моем вопросе уже упоминалось, что мой желаемый алгоритм аналогичен, но отличается от проблемы с остановкой. Пожалуйста, не обвиняйте людей в обмане, если вы не ответите на мой вопрос в любом случае. – Bingkongmaster
, когда я написал свой комментарий, ваш вопрос выглядел совсем по-другому ... с потенциалом обмануть менее опытных людей в потенциально смущающий ответ. теперь, когда вы его уточнили, я удалил его. –