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

LVV>Это к вопросу о проблеме остановки.
LVV>Там же указано, что эта проблема неразрешима на машине Тьюринга.

Он может прекрасно эмулироваться машиной Тьюринга, пусть за экспоненциально большое время, но все же конечное.