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

Заказать решение
Количество вопросов 144

Суперпозиция - это

перейти к ответу ->>

С синтаксической точки зрения все записанное в формальной системе

перейти к ответу ->>

К особенностям программирования машин Тьюринга относятся:

перейти к ответу ->>

Аббревиатура КНФ в контексте логических исчислений - это

перейти к ответу ->>

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

перейти к ответу ->>

Машина Тьюринга состоит из:

перейти к ответу ->>

Результатом конкатенации двух множеств М1 и М2 является множество М3, элементы которого получаются:

перейти к ответу ->>

Два конечных автомата называются эквивалентными, если

перейти к ответу ->>

Конечный автомат:

перейти к ответу ->>

Множество правил в формальной грамматике

перейти к ответу ->>

Примером формальной системы является

перейти к ответу ->>

Головка машины Тьюринга имеет возможность:

перейти к ответу ->>

Метод резолюций по своему смыслу более всего близок методу

перейти к ответу ->>

В определении формальной грамматики отсутствует

перейти к ответу ->>

Контрарная пара в методе резолюций - это

перейти к ответу ->>

Предметная область называется моделью, если

перейти к ответу ->>

К формулам конъюнктивного типа относятся

перейти к ответу ->>

Если один и тот же язык выводим несколькими грамматиками, то такие грамматики называются:

перейти к ответу ->>

Тезис Чорча гласит:

перейти к ответу ->>

Неукорачивающая грамматика согласно классификации Хомского относится к классу

перейти к ответу ->>

Свойство алгоритма, заключающееся в возможности его применения к бесконечно большому множеству данных, называется:

перейти к ответу ->>

Если для любого произвольно взятого элемента можно определить, принадлежит он некоторому множеству или нет, то такое множество называется:

перейти к ответу ->>

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

перейти к ответу ->>

Проверка истинности утверждения на первом шаге при n=1 в методе математической индукции называется

перейти к ответу ->>

Выберите верное:

перейти к ответу ->>

Множество степеней тройки является примером

перейти к ответу ->>

Если А - это алфавит, то некоторое подмножество множества всех слов алфавита А называется

перейти к ответу ->>

Синонимом названия операции импликации является

перейти к ответу ->>

Машина Тьюринга может быть задана:

перейти к ответу ->>

Машина Тьюринга, описывающая конечный автомат,

перейти к ответу ->>

Некоторая процедура, состоящая из конечного числа шагов, строго определенных на конкретном наборе данных, называется:

перейти к ответу ->>

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

перейти к ответу ->>

Классификация алгоритмических моделей включает следующие группы:

перейти к ответу ->>

Если машина Тьюринга зацикливается на некотором слове, это означает, что:

перейти к ответу ->>

К операциям над машинами Тьюринга относятся:

перейти к ответу ->>

Машина Тьюринга и машина Поста относятся к классу:

перейти к ответу ->>

Примером примитивно-рекурсивной функции является:

перейти к ответу ->>

Выберите верное:

перейти к ответу ->>

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

перейти к ответу ->>

Множество корней некоторого уравнения является примером

перейти к ответу ->>

Примером дискретного устройства является:

перейти к ответу ->>

Автоматический железнодорожный переезд является примером

перейти к ответу ->>

Отношение эквивалентности

перейти к ответу ->>

Одним из способов определения эквивалентности конечных автоматов является:

перейти к ответу ->>

При побитовом сложении двух чисел с помощью конечного автомата используемая память

перейти к ответу ->>

Распознающий конечный автомат

перейти к ответу ->>

Причиной, по которой конечный автомат не способен распознавать непериодичные последовательности, является:

перейти к ответу ->>

Пусть М1 и М2 - некоторые множества, с соответствующими мощностями. Тогда мощность множества М3, полученного путем конкатенации множеств М1 и М2 будет

перейти к ответу ->>

Множество, разрешимое конечным автоматом, характеризуется:

перейти к ответу ->>

Сеть Петри - это двудольный граф, состоящий из:

перейти к ответу ->>

Правила формальной системы имеют вид

перейти к ответу ->>

Правила построения новых объектов в формальной системе называются

перейти к ответу ->>

Формальность формальной системы означает

перейти к ответу ->>

Формальная система определяется

перейти к ответу ->>

Множество аксиом формальной системы

перейти к ответу ->>

Может ли быть выводимым один и тот же язык в контексте формальной грамматики разными грамматиками?

перейти к ответу ->>

В контексте формальной грамматики слова алфавита называются:

перейти к ответу ->>

Согласно классификации Хомского все формальные грамматики делятся на:

перейти к ответу ->>

Грамматика типа 2 согласно классификации грамматик Хомского называется:

перейти к ответу ->>

Контекстная грамматика согласно классификации Хомского относится к классу

перейти к ответу ->>

Традиционный набор операций в исчислении высказываний включает

перейти к ответу ->>

Стандартное правило вывода обычно называют

перейти к ответу ->>

Индукционный шаг в методе математической индукции - это

перейти к ответу ->>

В исчисления предикатов существуют кванторы

перейти к ответу ->>

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

перейти к ответу ->>

Утверждение о некоторой теореме исчисления предикатов, подлежащее доказательству, называется

перейти к ответу ->>

Формула называется общезначимой, если она

перейти к ответу ->>

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

перейти к ответу ->>

Аббревиатура ДНФ в контексте логических исчислений - это

перейти к ответу ->>

Обязательным требованием метода резолюций является приведение исходной формулы к

перейти к ответу ->>

К формулам дизъюнктивного типа относятся

перейти к ответу ->>

Конечный автомат называется "конечным", потому что

перейти к ответу ->>

Конечный автомат называется логическим, если

перейти к ответу ->>

Типы данных в языках программирования введены для

перейти к ответу ->>

Правило вывода в формальной системе - это

перейти к ответу ->>

Множество распознаваемо конечным автоматом, если

перейти к ответу ->>

Две грамматики эквивалентны, если

перейти к ответу ->>

Литера в методе резолюций - это

перейти к ответу ->>

Множество слов в произвольном алфавите, которое может быть получено из элементарных множеств путем конечного числа применений операций объединения, конкатенации, итерации, называется:

перейти к ответу ->>

К формулам конъюнктивного типа не относится

перейти к ответу ->>

Пустой дизъюнкт в методе резолюций обозначается

перейти к ответу ->>

Тезис Тьюринга гласит:

перейти к ответу ->>

Характерными свойствами головки машины Тьюринга являются:

перейти к ответу ->>

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

перейти к ответу ->>

Метатеорема - это

перейти к ответу ->>

Теорема Гёделя о полноте исчисления предикатов утверждает, что

перейти к ответу ->>

Теорема Чёрча утверждает, что

перейти к ответу ->>

Предметная область, соответствующая формальной системе, называется

перейти к ответу ->>

Исчисления предикатов

перейти к ответу ->>

Стандартное правило вывода состоит из

перейти к ответу ->>

Синонимом названия операции конъюнкции является

перейти к ответу ->>

Синонимичное название грамматики типа 1 в классификации грамматик Хомского - это

перейти к ответу ->>

Язык, порождаемый формальной грамматикой - это

перейти к ответу ->>

В выводе в контексте формальной системы каждое слово - это либо

перейти к ответу ->>

Наполнение формальной системы смыслом называется

перейти к ответу ->>

Объектами формальной системы могут быть

перейти к ответу ->>

Конечный автомат:

перейти к ответу ->>

Множество вида (01001000100001...) является:

перейти к ответу ->>

При побитовом сложении двух чисел с помощью конечного автомата длина суммы по отношению в днинам слагаемых увеличится максимум на

перейти к ответу ->>

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

перейти к ответу ->>

В определении конечный автомат присутствуют:

перейти к ответу ->>

Согласно определению конечный автомат состоит из

перейти к ответу ->>

Свойствами алгоритма не являются:

перейти к ответу ->>

Множество называется перечислимым, если

перейти к ответу ->>

Отличие тезиса от теоремы заключается в

перейти к ответу ->>

Детерминированность в теории алгоритма означает:

перейти к ответу ->>

Если переменная х не связана в формуле F, то она называется

перейти к ответу ->>

Существенность в формальной системе - это

перейти к ответу ->>

Два конечных автомата называются эквивалентными, если

перейти к ответу ->>

Правила вывода исчисления предикатов формируются из

перейти к ответу ->>

Формальная грамматика - это четверка, состоящая из

перейти к ответу ->>

Множество вида (010010010010...) является:

перейти к ответу ->>

Сеть Петри в вычислительном плане:

перейти к ответу ->>

Сходимость алгоритма означает, что

перейти к ответу ->>

Добавление оператора неограниченной минимизации к классу примитивно-рекурсивных функций приводит к

перейти к ответу ->>

Всякая формальная система задает

перейти к ответу ->>

Говоря об абстрактных машинах, чаще всего имеют в виду машины Тьюринга, потому что:

перейти к ответу ->>

Грамматика типа 3 согласно классификации грамматик Хомского называется:

перейти к ответу ->>

Оператор суперпозиции функций является примером:

перейти к ответу ->>

Идея метода резолюций состоит в

перейти к ответу ->>

Метод аналитических таблиц в отличие от метода резолюций

перейти к ответу ->>

Цифровая техника обрабатывает

перейти к ответу ->>

Универсальным способом задания конечного автомата является:

перейти к ответу ->>

Основными свойствами алгоритма являются:

перейти к ответу ->>

Представителями класса моделей "Абстрактные машины" являются:

перейти к ответу ->>

В определении конечного автомата не содержится

перейти к ответу ->>

Машина Тьюринга:

перейти к ответу ->>

Определение формальной системы включает в себя

перейти к ответу ->>

Дискретность формальной системы означает, что

перейти к ответу ->>

Регулярная грамматика согласно классификации Хомского относится к классу

перейти к ответу ->>

Класс частично-рекурсивных функций образуют функции, которые

перейти к ответу ->>

Множество слов в произвольном алфавите А называется регулярным, если оно может быть получено из элементарных множеств путем конечного числа применений операции

перейти к ответу ->>

Принцип рассуждения от следствия к причине называется

перейти к ответу ->>

Примером формальной системы является

перейти к ответу ->>

Примером аналогового устройства является:

перейти к ответу ->>

Схема определения понятия "Алгоритм" включает:

перейти к ответу ->>

Контекстно-свободная грамматика согласно классификации Хомского относится к классу

перейти к ответу ->>

Выберите верное:

перейти к ответу ->>

Конечный автомат, осуществляющий побитовое сложение двух чисел

перейти к ответу ->>

Граф,задающий машину Тьюринга, обладает следующими свойствами::

перейти к ответу ->>

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

перейти к ответу ->>

Пусть А - некоторый алфавит. Тогда языком алфавита А называется

перейти к ответу ->>

Сеть Петри представляет собой:

перейти к ответу ->>