Hardprob/Shortest Computation

Материал из DISCOPAL
Перейти к: навигация, поиск
  • Недетерминированная машина Тьюринга M, двоичная входная строка x.
  • Найти недерминированную строку-догадку c, произведенную машиной M на входе x.
  • Минимизировать длину кратчайшей из этих строк,т.е. .

Задача в лаб22 (рид-онли просмотр)


[ Иерархический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.