Предложена задача: написать программу для машины Тьюринга \(алгоритм\), которая по тексту любой программы Р и ее входным данным Х определяет, завершается ли программа Р при входе Х за конечное число шагов или зацикливается.
Является ли эта задача алгоритмически разрешимой или алгоритмически неразрешимой?

• Алгоритмически разрешимая задача.
• Алгоритмически неразрешимая задача.