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

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

Операция итерации имеет приоритет

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

Полугруппа представляет собой

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

Чтобы получить полезный и естественный с точки зрения практики класс языков, нужно

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

Лемма о разрастании дает

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

С длинами слов обычно связывают

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

Проблема автоматности контекстно-свободного языка

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

Автоматным является

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

К способам конечного описания формального языка относят

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

Эквивалентный способ задания языка

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

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

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

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

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

Неукорачивающей является

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

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

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

Дополнение детерминированного контекстно-свободного языка является

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

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

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

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

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

Понятие "локальный" относится к

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

Замена в метках переходов пустое слово на 1, а каждое непустое слово - на произведение его букв приведет к

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

Класс языков, распознаваемых детерминированными автоматами с магазинной памятью

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

По произвольной контекстно-свободной грамматике

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

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

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

Проблемы пустоты и бесконечности пересечения контекстно-свободных языков

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

Задание исходного языка с помощью конечного автомата

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

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

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

Разные протоколы соответствуют

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

Изображение автоматов с магазинной памятью посредство диаграмм состояний

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

Речь идет о конечном синтаксическом моноиде только тогда, когда

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

Чтобы выяснить, является ли некоторый формальный язык автоматным, нужно

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

Эквивалентной некоторой грамматике в нормальной форме Грейбах является

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

По определению, строка - это

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

Каждая грамматика порождает

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

Неотрицательные целые числа называют

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

Конечное непустое множество символов - это

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

Над языками можно производить операции

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

Определение гомоморфизма своими значениями на однобуквенных словах

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

Элементы вспомогательного алфавита называются

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

Каждая линейная грамматика является

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

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

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

Некоторым детерминированным конечным автоматом можно задать

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

Конечные автоматы можно изображать в виде

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

Слово допускается конечным автоматом, если

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

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

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

Каждый конечный язык является

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

"Мгновенное описание" конечного автомата описывается

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

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

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

Полным детерминированным конечным автоматом

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

Использование специальных средств, позволяющих выяснять, является ли некоторый формальный язык автоматным

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

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

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

Свойства замкнутости класса всех автоматных языков

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

Пересечение автоматных языков является

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

Класс автоматных языков замкнут относительно

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

Конечным автоматом с одним начальным и одним заключительным состоянием можно задать

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

Класс автоматных языков замкнут относительно

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

Пересечение выражается через

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

Относительно взятия полного гомоморфного прообраза

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

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

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

Критерий автоматности для языков над однобуквенным алфавитом бывает:

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

Для произвольного алфавита необходимое условие автоматности

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

Составить автоматный язык можно

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

С помощью конечного автомата можно

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

Одним из видов гомоморфизма является

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

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

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

Символ "звездочка" используется для обозначения

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

Регулярные выражения применяются в

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

Приоритет сложения

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

Некоторый язык над алфавитом задает

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

Обобщенным конечным автоматом можно назвать

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

Слово допускается обобщенным конечным автоматом, если оно

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

Звездная высота - это

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

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

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

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

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

Слово различает состояния полного детерминированного конечного автомата, если

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

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

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

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

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

Множество контекстов и множество двусторонних контекстов

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

Полугруппа - это

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

Полугруппа с единицей, принадлежащей множеству, называется

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

Синтаксический моноид конечен в том случае, когда

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

Контекстно-свободные языки используются

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

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

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

Понятие однозначности контекстно-свободной грамматики

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

Начальному символу отвечает

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

Непосредственные "потомки" корня

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

Слово, записанное в вершинах, помеченных символами из алфавита, называется

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

Правосторонний и левосторонний вывод определяются

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

Если существует слово, которое имеет два или более левосторонних вывода, то контекстно-свободная грамматика называется

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

Если не существует слова, которое имеет два или более левосторонних вывода, то контекстно-свободная грамматика называется

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

Эквивалентной по отношению к некоторой контекстно-свободной грамматике специального вида является

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

Символ грамматики может быть

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

Понятие "порождающий" касается

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

Множества, определяющие, что в контекстно-свободной грамматике нет бесполезных символов

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

Грамматика в нормальной форме Хомского

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

Грамматика в нормальной форме Грейбах является

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

Построение грамматики "почти в нормальной форме Грейбах"

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

Укажите верное утверждение:

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

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

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

Класс линейных языков

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

Зависимость между длиной кроны дерева вывода и количеством вершин в самом длинном пути

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

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

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

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

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

Если линейный язык не содержит пустого слова, то он

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

Представление линейного языка в виде объединения двух линейных языков

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

Произведение контекстно-свободных языков дает в итоге

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

Итерация контекстно-свободного языка

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

Автоматы с магазинной памятью соответствуют

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

Автоматы с магазинной памятью

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

Наличие потенциально бесконечной памяти характерно для

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

Потенциально бесконечная память используется

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

В определенный момент обработки

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

При формальном определении конфигурации автомата с магазинной памятью считают все содержимое стека

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

С понятием автомата с магазинной памятью связывают

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

Автоматы с магазинной памятью можно изображать с помощью

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

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

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

Замкнутость относительно взятия гомоморфного образа

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

Замкнутость относительно взятия гомоморфного образа

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

Произвольный язык

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

Гомоморфизм можно задать

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

Каждому символу можно поставить в соответствие

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

Критерии контекстной свободности

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

Имеет ли смысл определения критериев контекстной свободности?

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

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

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

Укажите, какое утверждение является неверным:

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

Теорема о детерминизации

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

В ходе применения теоремы о детерминизации на автоматах с магазинной памятью возникает

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

Детерминированные автоматы с магазинной памятью - это автоматы с магазинной памятью, которые

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

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

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

Автомат с магазинной памятью называется детерминированным, если

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

Каждый автоматный язык является

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

Индукцией по сумме избытков всех переходов доказывается

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

Детерминированным контекстно-свободным языком является

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

Синтаксическим анализом называют

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

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

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

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

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

Левый разбор по своей сути является

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

Нисходящим разбором принято называть

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

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

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

Грамматика может обладать

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

Обращенную последовательность правил, примененных в выводе называют

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

В понятие машины Тьюринга входит

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

Конфигурация машины Тьюринга состоит из

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

Недетерминированная машина Тьюринга

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

На диаграмме, изображающей машину Тьюринга

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

Вычисление функций

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

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

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

Допускающее и отвергающее состояниет

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

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

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

Язык, допускаемый машиной Тьюринга - это

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

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

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

Определите верное утверждение:

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

Любая неукорачивающая грамматика связана с некоторой контекстной грамматикой понятием

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

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

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

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

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

Замкнутость относительно операции объединения

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

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

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

По наличию "рекурсивных" нетерминальных символов

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

Алгоритмические проблемы, связанные с контекстно-свободными языками

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

Проблема контекстной свободности дополнения контекстно-свободного языка

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

Язык, согласно определению

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

Определить однозначность грамматики по произвольной контекстно-свободной грамматике

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

Грамматика является неоднозначной тогда и только тогда, когда

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

Получение линейной грамматики посредством "раскрытия" определенных вспомогательных символов

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

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

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

Если постовская система соответствия имеет решение, то грамматика является

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

Элементы алфавита называются

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

По своей сути нисходящий разбор является

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

Дополнение языка является непустым тогда и только тогда, когда постовская система соответствия

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

Если в конечном автомате имеются несколько переходов с общим началом и общим концом, то такие переходы называются

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

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

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

Контекстно-свободным грамматикам соответствуют

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

При помощи метода индукции по сумме избытков всех переходов можно определить

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

Составление контекстно-свободного языка, как произведения контекстно-свободных языков

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

Используемые в приложениях формальные языки

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

Однозначной называют контекстно-свободную грамматику, если отсутствует слово, имеющее

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

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

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

Для изображения автоматов с магазинной памятью используют

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

Определите неверное утверждение из нижеприведенных:

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

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

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

Бесконечная память представляет собой

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

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

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

Итерация контекстно-свободного языка

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

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

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

Если к обобщенному конечному автомату добавить переход с меткой 0, то множество допускаемых этим автоматом слов

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

Операция умножения по приоритету

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

Способность машины Тьюринга вычислять частичные функции

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

Вычислительный процесс автомата с магазинной памятью по своей сути является

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

Определение критериев контекстной свободности

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

Некоторые упорядоченные деревья, вершины которых помечены символами принадлежности алфавиту - это

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

С помощью равенств

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

Каждая контекстно-свободная грамматика по отношению к грамматике в нормальной форме Хомского является

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

Вершина дерева соответствует

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

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

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

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

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

Вершина стека находится

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

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

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

Специальный символ, добавляемый в конец каждого слова, называется

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

Класс всех автоматных языков относительно взятия гомоморфного образа

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

Все грамматики

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

Натуральными числами принято называть

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

Слово, не содержащее ни одного символа, называется

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

Множеством можно назвать

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

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

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

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

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

Грамматики и автоматы

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

Конечные автоматы специального вида

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

Язык, состоящий из меток всех успешных путей, является

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

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

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

Полный детерминированный конечный автомат не должен содержать переходов с метками длины

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

Для практического применения теории конечных автоматов

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

Достаточные условия автоматности применимы для

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

Лемма о разрастании позволяет установить

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

Итерация, конкатенация и объединение определяют

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

Каждый из исходных языков задан конечным автоматом

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

Через объединение и дополнение выражается

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

Относительно взятия гомоморфного образа

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

Критерием автоматности можно считать

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

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

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

Необходимое условие автоматности

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

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

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

Применение конечного автомата позволяет

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

Гомоморфизм может быть

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

Каждый локальный язык является

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

Регулярные выражения представляют собой

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

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

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

Каждое регулярное выражение над алфавитом задает

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

Произведение регулярных выражений на переходах пути имеет название

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

Каждый конечный автомат можно преобразовать в

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

Преобразовать конечный автомат в обобщенный конечный автомат можно

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

Если соответствующее отношение взаимозаменяемости разбивает множество всех слов рассматриваемого алфавита на конечное число классов эквивалентности, то

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

Классы эквивалентности по взаимозаменяемости сами являются автоматными языками

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

Изоморфным автомату считается

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

Минимальность детерминированного автомата определяется

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

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

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

Непустое множество с ассоциативной бинарной операцией умножения называется

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

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

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

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

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

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

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

Крона, по своей сути, является

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

Неоднозначной называют контекстно-свободную грамматику, если есть слово, имеющее

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

Существенно неоднозначным

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

Каждая контекстно-свободная грамматика по отношению к некоторой контекстно-свободной грамматике специального вида

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

Приведение контекстно-свободной грамматики к нормальной форме Грейбах

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

Полезными и достижимыми бывают

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

Если контекстно-свободный язык не содержит пустого слова, то

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

В грамматике в нормальной форме Грейбах существуют правила

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

Укажите верное утверждение:

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

Класс контекстно-свободных языков

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

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

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

Если количество вершин в самом длинном пути равно 4, то длина кроны дерева вывода равна

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

Содержание в линейном языке пустого слова приведет к

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

Пресечение контекстно-свободных языков

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

Объединение линейных языков

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

В автомате с магазинной памятью присутствует

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

Количество составляющих автомата с магазинной памятью равно

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

Замкнутость относительно деления

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

Замкнутость относительно взятия полного гомоморфного прообраза

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

Для гомоморфизма и связанного с ним определенным отношением контекстно-свободного языка

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

Возможно ли определение критериев контекстной свободности?

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

Применение теоремы о детерминизации для конечных автоматов к автоматам с магазинной памятью

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

Выбор тактов детерминированными автоматами с магазинной памятью

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

Добавление символов к словам для получения нового класса языков

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

Эквивалентность автоматов с магазинной памятью доказывается с помощью

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

Процесс нахождения дерева вывода слова в заданной контекстно-свободной грамматике называется

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

Протокол вывода в контекстно-свободной грамматике - это

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

Разным левосторонним выводам в одной и той же контекстно-свободной грамматике соответствуют

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

Корень дерева вывода при префиксном обходе посещается

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

Протокол любого левостороннего вывода слова в грамматике имеет название

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

Сентенциальная форма грамматики по своей сути является

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

К составным частям машины Тьюринга относят

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

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

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

Стрелкой на диаграмме, изображающей машину Тьюринга, обозначают

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

Вычисление частичных функций

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

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

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

Каждый разрешимый язык является

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

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

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

Каждая контекстная грамматика

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

Некоторой контекстной грамматике

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

Машину Тьюринга при наличии специальных условий можно назвать

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

Класс контекстных языков замкнут относительно

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

Через объединение и дополнение выражают

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

Для определения бесконечности языка

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

Язык является конечным, если

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

С помощью контекстно-свободной грамматики и автоматов с магазинной памятью

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

Проблема равенства контекстно-свободных языков

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

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

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

Конечная последовательность элементов алфавита называется

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

Проблема эквивалентности конечных автоматов

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

Кроной называют

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

В машину Тьюринга включают

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

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

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

Объединение линейных языков

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

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

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

Проблема контекстной свободности дополнения контекстно-свободного языка и пересечения контекстно-свободных языков

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

Лемма о разрастании для контекстно-свободных языков формализует

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

При определении автомата магазинной памяти используют

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

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

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

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

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

Грамматика может быть

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

Контекстно-свободный язык

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

Деревья разбора - это

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

Натуральные числа - это

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

Обращением или зеркальным образом называют

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

Два конечных автомата, распознающих один и тот же язык, называются

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

Каждый автоматный язык

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

Пересечение автоматных языков дает в итоге

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

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

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

Одним из видов языков является

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

Множество может быть

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

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

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

Метка пути обобщенного конечного автомата - это

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

Соответствующие классы эквивалентности слов позволяют

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

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

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

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

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

Моноид по своей сути

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

Корень дерева вывода отвечает

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

В контекстно-свободной грамматике левосторонний вывод существует

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

Метод индукции для приведения грамматики в нормальную форму Грейбах

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

Явление "периодичности" в контекстно-свободных языках формализует

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

Если длина кроны равна 32, то количество вершин в самом длинном пути равно

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

Эквивалентной по отношению к линейной грамматике в нормальной форме считается

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

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

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

Представление линейного языка в виде объединения двух линейных языков

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

Автомат с магазинной памятью

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

Функцию магазина в автоматах с магазинной памятью выполняет

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

Задание гомоморфизма равенствами

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

Конечный язык можно поставить в соответствие

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

Наличие критериев контекстной свободности

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

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

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

Определите верное утверждение:

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

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

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

Если автомат с магазинной памятью имеет ровно одно начальное состояние и все переходы этого автомата попарно несовместны, то его называют

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

Детерминированным контекстно-свободным языком является

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

Детерминированый контекстно-свободный язык

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

Сентенциальная форма

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

Устранение из грамматики бесполезных символов

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

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

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

Если существует детерминированная машина Тьюринга, то язык над алфавитом называется

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

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

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

Проблема однозначности контекстно-свободной грамматики

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

Если постовская система соответствия имеет хотя бы одно решение, то

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

Если постовская система соответствия не имеет решения, то грамматика

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

"Раскрытием" определенных вспомогательных символов можно получить

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

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

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

Деревья вывода - это

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

Автоматный язык можно получить

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

Для любого дерева вывода в грамматике длина кроны дерева

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

Элементы основного алфавита называются

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

Конечный преобразователь является

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

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

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

Относительно итерации, конкатенации и объединения класс автономных языков

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

Дополнение и пресечение определяют

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

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

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

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

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

В регулярных выражениях используются символы, обозначающие

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

В контекстно-свободной грамматике для каждого выводимого слова существует

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

Каждую контекстно-свободную грамматику можно

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

Символ грамматики бывает

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

Множества, определяющие, что контекстно-свободная грамматика эквивалентна исходной грамматике

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

Укажите верное утверждение:

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

Грамматика в нормальной бинарной форме - это

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

Каждая линейная грамматика по отношению к линейной грамматике в нормальной форме

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

Автоматы бывают

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

В роли стека в автоматах с магазинной памятью используется

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

Порядок записи содержимого стека

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

Язык, распознаваемый автоматом с магазинной памятью - это

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

Замкнутость класса контекстно-свободных языков относительно деления

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

Постановка каждому символу в соответствие конечный язык

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

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

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

Левым разбором слова в контекстно-свободной грамматике называется

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

Процесс нахождения левого разбора слова в заданной контекстно-свободной грамматике называется

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

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

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

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

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

Кружок на диаграмме, изображающей машину Тьюринга, обозначает

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

Разрешенным является язык над алфавитом, если детерминированная машина Тьюринга

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

Термин "неукорачивающая" относят к

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

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

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

Пересечение выражается через

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

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

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

Линейную грамматику можно получить путем

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

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

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

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

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

Классы эквивалентности по взаимозаменяемости относительно автоматного языка

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

Имея два языка, связанных между собой

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

Определите неверное утверждение:

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

Приведение шагов индукции для определения грамматики в нормальную форму Грейбах

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

Способ конечного описания формального языка

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

Параллельными называют переходы

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

Автоматными являютсяи

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

Язык может быть

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

В текстовых редакторах и интерпретаторах командной строки применяются

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

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

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

Вид автоматов, соответствующих контекстно-свободным грамматикам называется

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

Детерминированный автомат с магазинной памятью имеет

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

Детерминированным контекстно-свободным языком называют

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

Синтаксический разбор - это

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

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

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

Способность машины Тьюринга вычислять функции

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

Порождающая грамматика бывает

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

Если грамматика не содержит "рекурсивные" нетерминальные символы, то

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

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

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

Алфавитом называется

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

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

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

Построив по двум конечным автоматам с однобуквенными переходами новый конечный автомат можно доказать

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

Понятие "побуквенный" относится к

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

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

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

Добавление в конец каждого слова языка специального символа применяется

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

Префиксный обход первого непосредственного потомка корня выполняется

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

Если существует детерминированная машина Тьюринга, допускающая язык, то он называется

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

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

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

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

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

Если слово является меткой некоторого успешного пути, то оно

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

Каждый автоматный язык является

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

Праволинейный язык порождается некоторой праволинейной грамматикой в нормальной форме без эпсилон-правил, если

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

Существуют ли критерии контекстной свободности?

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

НПротокол левостороннего вывода в контекстно-свободной грамматике является описанием соответствующего дерева вывода

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

Разным правосторонним выводам в одной и той же контекстно-свободной грамматике соответствуют

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

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

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

Язык называется регулярным, если

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

Автоматами называют

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

Неопределенная грамматика - это

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

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

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

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

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

Замкнутость класса контекстно-свободных языков бывает

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

Контекстно-свободный язык может порождаться некоторой грамматикой, если он

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

Свойства замкнутости класса всех автоматных языков используют

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

Конфигурация представляет собой

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

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

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

Формирование нового класса языков при использовании в автоматах с магазинной памятью теоремы о детерминизации

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

Детерминированная машина Тьюринга с выделенным состоянием

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

Язык может быть представлен

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