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