Это эквивалентно проблеме принятия решения при наличии программы и ввода, остановится ли программа в конечном итоге при запуске с этим вводом или будет работать вечно.
Это явно невозможно, и это было использовано Аланом Тьюрингом в 1936 году, чтобы доказать, что не существует алгоритма, который мог бы сделать это для всех случаев.