Самопроверочный тест №1
-
Алгоритмическая модель, которая связывает понятие алгоритма с механическим устройством, способным выполнять строго фиксированное множество элементарных действий над простейшими символами является
-
Класс вычислимых по Тьюрингу функций совпадает с
-
Машина Поста представляет собой
-
Машина Поста рассматривает проблему, состоящую из
-
Множество конкретных проблем, составляющих общую проблему является множеством
-
Набор инструкций в терминах Поста является
-
На информационной ленте машины Тьюринга записывались
-
Определение понятия примитивно рекурсивной функции является
-
Основные понятия алгоритмического формализма Поста – это
-
Переход в класс частично рекурсивных функций обеспечивает
-
По Посту проблема задаётся внешней силой путем
-
Поэтому состояния управляющего устройства называют
-
Процесс преобразования алгоритмических объектов в ходе выполнения алгоритма осуществляется
-
Результатом работы машины Тьюринга является
-
Рекурсивные функции определяются
-
Суперпозиция представляет собой
-
Функцию называют частично рекурсивной функцией, если
-
Функция одного переменного, сопоставляющая любому натуральному числу непосредственно следующее за ним натуральное число называется
-
Частично рекурсивная функция, определённая для всех значений аргументов называется
Самопроверочный тест №2
-
Алгоритм, в котором в зависимости от условия выполняется либо одна, либо другая последовательность действий называется
-
Возможность математического доказательства неразрешимости ряда математических проблем дает
-
В троичной машине Поста используется
-
Задача считается алгоритмически неразрешимой, если
-
Любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга
-
Любой конечный физический процесс, не использующий аппарат, связанный с непрерывностью и бесконечностью, может быть вычислен физическим устройством
-
Машина Поста по своим возможностям эквивалентна
-
Нормальный алгоритм Маркова использует
-
Нормальный алгоритм Маркова не останавливается, если
-
Нормальный алгоритм Маркова останавливается если
-
Описание действий, которые выполняются однократно в заданном порядке называется
-
Описание действий, которые должны повторяться указанное число раз или пока не выполнено заданное условие