СловариФорумКупитьСкачатьКонтакты

Google | Forvo | +

time-constructable function

ударения
СМИ. функция, конструируемая по времени (функция Т(п), такая, что некоторая детерминированная машина Тьюринга при данном входе длины n делает ровно Т(n) шагов до своей остановки)

Добавить | Сообщить об ошибке | Короткая ссылка