Тезис Чёрча - Тьюринга гласит, что любая интуитивно вычислимая функция является
Машина Тьюринга, которая может заменить собой любую машину Тьюринга, носит название
Вариант тезиса Чёрча - Тьюринга, сформулированный применительно к нормальным алгоритмам, принято называть
Сортировка слиянием может быть
Результат выполнения функции может быть
По логике организации коллекция может быть
Формула подстановки схемы нормального алгоритма может быть
С каким максимальным замедлением универсальная машина Тьюринга может моделировать другие машины?
Верно ли то, что универсальная машина Тьюринга может моделировать другие машины с кубическим замедлением?
Если любое состояние может быть достигнуто из любого другого состояния за конечное число переходов, то марковская цепь называется