Является ли нахождение эквивалентности двух функций неразрешимым?

Разве невозможно узнать, эквивалентны ли две функции? Например, автор компилятора хочет определить, выполняют ли две функции, написанные разработчиком, одну и ту же операцию, какие методы он может использовать, чтобы выяснить это? Или что мы можем сделать, чтобы узнать, что два ТМ идентичны? Есть ли способ нормализовать машины?

Изменить: Если общий случай неразрешимый, сколько информации вам нужно иметь, прежде чем вы сможете правильно сказать, что две функции эквивалентны?

Ответы на вопрос(9)

Ваш ответ на вопрос