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

Количество вопросов - 430

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Моноид - это

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Понятие "побуквенный" относится к

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

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

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

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

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

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

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

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

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

Существуют ли критерии контекстной свободности?

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

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

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

Язык называется регулярным, если

Автоматами называют

Неопределенная грамматика - это

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

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

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

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

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

Конфигурация представляет собой

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

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

Детерминированная машина Тьюринга с выделенным состоянием

Язык может быть представлен