Вариант 324663527.
Существует ли биекция между классами и ?
Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые не останавливаются, будучи запущенными на пустой ленте?
Возможно ли сконструировать алгоритм , который для произвольной машины Тюринга и входа определит, остановится ли данная М.Т. на заданном входе?
Выберите верное следствие:
Является ли разрешимым множество натуральных чисел, не превосходящих :
Является ли конкатенация двух разрешимых языков перечислимой?
Предположим, разумеется, что Тогда что будет верно?
Множество S является разрешимым, тогда и только тогда, когда существует такая машина Тьюринга T, что:
Цикл, проходящий через все вершины графа, называется
У языков L1-L4 доказаны следующие полиномиальные сводимости по Карпу: «L1→L2», «L3→L2→L4» Рассмотрим утверждения: