Riper, в том-то и проблема, что я не сводила задачу, а через машины Тьюринга доказывала. В итоге там два листа формул почти без текста. В стиле: а вот этот кусок МТ соответствует вот такому куску моей модели. Короче это доказательство сделать нереально, потому что оно и в диссертации уже максимально краткое. Метод названия не имеет, и книжку с его описанием найти никак не могу (видела только в учебниках, а ссылаться на учебники не разрешает научрук)... Эх... Буду пытаться сформулировать одним предложением...
Спасибо за советы!
|