Здравствуйте, Куть, Вы писали:

К>У меня 3 вопроса:
К>1. Есть ли ошибки в моём доказательстве?
Нет.

К>2. Может ли иметь теоретическое или практическое применение Анализатор для программ с конечной памятью?
В общем случае — нет, так как количество состояний для анализа легко может стать больше, чем сможет обработать любой реальный компьютер.

На практике во многих частных случаях — очень полезно, на чём компании типа Coverity и делают бизнес.

К>3. Что ломается в доказательствах неразрешимости при ограничении памяти?
Машина с конечной памятью не является МТ, это намного менее мощная конструкция. Машина с конечным объёмом памяти равномощна конечному автомату.