Основы теории алгоритмов

Конечному автомату соответствует грамматика, порождающая

Временные или пространственные характеристики процесса вычисления называются

Если A и B - рекурсивные множества, то рекурсивны также множества I. II. III.

В системе Пеано единственным неопределимым отношением является

Функция является: 1) частично вычислимой; 2) примитивно рекурсивной; 3) частично рекурсивной

Язык, на котором описывается другой язык, называется

Челночный алгоритм является алгоритмом

Функция имеет Гёделевский номер, равный

Существуют три основных класса фраз: имена, предложения и

Функция, вычисляемая некоторой машиной Тьюринга с входным и выходным алфавитами, называется

Фразы, соединяемые функтором, называются

Система Пеано содержит аксиом

Входной алфавит определяется как

Средство для соединения фраз для преобразования других фраз называется

Множество ________ тогда и только тогда, когда оно является _______ некоторой вычислимой функции

Марковский алгоритм - это алгоритм

Входят в алфавит формального логического языка символы

Функция, полученная из вычислимой с помощью рекурсии, является

Множество всех истинных утверждений языка L является

Если множество неперечислимо, то оно _______ областью определения и ______ множеством значений всюду определенной вычислимой функции

Автомат, однократно считывающий входную строку слева направо, называется

Функция, вычислимая по Тьюрингу, является

Полнота - это условие, что для любого утверждения s одно из утверждений s и Øs

Дополнение к области определения некоторой вычислимой функции _________ рекурсивно перечислимым

Идея использования рекурсии для решения задач, связанных с основаниями математики, предложена

Формальная грамматика, позволяющая построить любую правильную цепочку символов, называется грамматикой

Не существует формальной системы арифметики, удовлетворяющей условиям полноты и противоречивости согласно

Внутренним алфавитом машины Тьюринга называется

Если и рекурсия проводится по переменной , то функция равна

Если и рекурсия проводится по переменной , то функция равна

Функция имеет гёделевский номер, равный

Способ видения объектов формальных систем как конкретных объектов при условии, что содержательные объекты сохраняют структуру формальных, называется

Если , то функция в рекуррентной формуле равна

Множество всевозможных осмысленных утверждений языка является

Утверждение формально записывается как

Композиция и равна

Не сохраняет примитивную рекурсивность оператор

Если и рекурсия проводится по , то функция равна

В любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений

Если и рекурсия проводится по , то функция равна

Множество аксиом вместе с явным определением доказательства составляют

Множество истинных утверждений

Символы, которые машина Тьюринга читает и пишет на ленте, образуют

В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s опровержимо; 2) Øs опровержимо

Команда машины Тьюринга состоит из элементарных действий

Если множество нерекурсивно, то оно _______ областью определения и ______ множеством значений всюду определенной вычислимой функции

Если и рекурсия проводится по переменной , то функция равна

Всякое непустое ______ множество является _________ некоторой всюду определенной вычислимой функции

Если и рекурсия проводится по переменной , то функция равна