-
101 space constructible function
функция, конструируемая по памяти (функция S(n) такая, что если некоторая детерминированная машина Тьюринга, начав работу над данным входом длины n, поместит специальный маркер на S(n)-ю клетку одной из своих лент, просмотрев не более S(n) клеток на каждой ленте)Англо-русский словарь промышленной и научной лексики > space constructible function
-
102 time-constructable function
функция, конструируемая по времени (функция T(n), такая, что некоторая детерминированная машина Тьюринга при данном входе длины делает ровно T(n) шагов до своей остановки)Англо-русский словарь промышленной и научной лексики > time-constructable function
См. также в других словарях:
детерминированная машина Тьюринга — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN deterministic Turing machine … Справочник технического переводчика
Детерминированная машина Тьюринга — Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча… … Википедия
Детерминированная система — Детерминированная система [deterministic system] система, выходы которой (результаты действия, конечные состояния и т.п.) однозначно определяются оказанными на нее управляющими воздействиями. Такие системы, согласно классификации систем Ст. Бира … Экономико-математический словарь
детерминированная система — Система, выходы которой (результаты действия, конечные состояния и т.п.) однозначно определяются оказанными на нее управляющими воздействиями. Такие системы, согласно классификации систем Ст. Бира, могут быть простыми (например, оконная задвижка) … Справочник технического переводчика
Недетерминированная машина Тьюринга — Машина Тьюринга Варианты машин Универсальная машина Тьюринга Квантовая машина Тьюринга en:Read only Turing machine en:Read only right moving Turing Machines Вероятностная машина Тьюринга Недетер … Википедия
Теорема Сэвича — (1970): NSPACE(f(n)) ⊆ DSPACE(f²(n)). То есть, если недетерминированная машина Тьюринга может решить проблему используя f(n) памяти, то детерминированная машина Тьюринга сможет это сделать, за квадрат памяти. Следствия PSPACE = NPSPACE NL ⊆ L²… … Википедия
Класс co-NP — В теории алгоритмов часто рассматривается класс, тесно связанный с P и NP, класс дополнений языков из NP, называемый co NP. Формальное определение Класс сложности co NP определяется для множества языков, то есть множеств слов над конечным… … Википедия
Класс сo-NP — В теории алгоритмов часто рассматривается класс, тесно связанный с P и NP, класс дополнений языков из NP, называемый co NP. Формальное определение Класс сложности co NP определяется для множества языков, т.е. множеств слов над конечным алфавитом… … Википедия
Теория хаоса — У этого термина существуют и другие значения, см. Теория хаоса (значения). Диаграмма раздвоения логистической карт … Википедия
НИКОЛАЙ КУЗАНСКИЙ — (Nicolaus Cusanus), настоящее имя Николай Кребс (Krebs) (1401 1464) нем. теолог, философ, математик, церковный деятель, дипломат. Окончил Падуанский ун т, получив докторскую степень по каноническому праву (1424), вступил в орден августинцев,… … Философская энциклопедия
БЕРДЯЕВ Николай Александрович — Николай Александрович (6.03.1874, Киев 24.03.1948, Кламар, под Парижем), философ, публицист, общественный деятель. Происходил из старинного дворянского рода: отец, А. М. Бердяев, и мать, А. С. Бердяева (урожденная кнж. Кудашева), принадлежали к… … Православная энциклопедия