Математическая теория формальных языков
700,00 руб.
В течение часа!
Экзамен "Математическая теория формальных языков" для пользователей и системных администраторов.
Форма сдачи теста: Экстерн
Количество вопросов: 30
Проходной балл: 90% и выше
Срок действия сертификата: неограничен
Сертификат появляется в профиле ресурса INTUIT, и Вы можете заказать его бумажную версию на сайте INTUIT.
Количество вопросов: 30
Проходной балл: 90% и выше
Срок действия сертификата: неограничен
Сертификат появляется в профиле ресурса INTUIT, и Вы можете заказать его бумажную версию на сайте INTUIT.
11457 шт.
Внимание !
Вопросы к тесту выложены исключительно в ознакомительных целях: количество вопросов может не совпадать с действительным, актуальность не поддерживается,- за решением теста Welcome to the cashier!
Произведение операции пересечения языков, заданных над одним и тем же алфавитом
Каждая праволинейная грамматика является
Обращением или зеркальным образом называют
слово, в котором символы, составляющие слово, идут в
Алфавитом называется
Используемые в приложениях формальные языки
Грамматика может быть
Конечное непустое множество символов - это
Каждая грамматика порождает
Множеством можно назвать
К способам конечного описания формального языка относят
Конечная последовательность элементов алфавита называется
Элементы алфавита называются
Натуральными числами принято называть
Все грамматики
Если две грамматики порождают один и тот же язык, то они
По определению, строка - это
Слово, в котором символы, составляющие слово, идут в
Натуральные числа - это
Каждому языку, который порождается хотя бы одной
Элементы основного алфавита называются
Неотрицательные целые числа называют
Слово, не содержащее ни одного символа, называется
Определение гомоморфизма своими значениями на однобуквенных
Элементы вспомогательного алфавита называются
К наиболее распространенным способам конечного задания
Если существует конечный автомат, распознающий язык, то
"Мгновенное описание" конечного автомата описывается
Каждая линейная грамматика является
Над языками можно производить операции
Праволинейный язык порождается некоторой праволинейной
Полный детерминированный конечный автомат не должен
Для конструирования распознающих устройств, пригодных для
Два конечных автомата, распознающих один и тот же язык,
Грамматики и автоматы
Праволинейным является
Слово допускается конечным автоматом, если
Каждый автоматный язык является
Конфигурация представляет собой
Конечные автоматы специального вида
Каждый праволинейный язык является
Два конечных автомата называют эквивалентными, если
Некоторым детерминированным конечным автоматом можно задать
Если в конечном автомате имеются несколько переходов с общим началом и общим концом, то такие переходы называются
Конечные автоматы можно изображать в виде
Полным детерминированным конечным автоматом
Если слово является меткой некоторого успешного пути, то оно
Каждый конечный язык является
Автоматами называют
Язык, состоящий из меток всех успешных путей, является
Каждый автоматный язык
Автоматными являютсяи
Конечный преобразователь является
Лемма о разрастании дает
Относительно дополнения и пересечения класс
Необходимые условия автоматности определяют, что
Каждый из исходных языков задан конечным автоматом
Дополнение и пресечение определяют
Пересечение автоматных языков является
Параллельными называют переходы
Относительно итерации, конкатенации и объединения
Свойства замкнутости класса всех автоматных языков
Итерация, конкатенация и объединение определяют
Автоматный язык можно получить
Чтобы выяснить, является ли некоторый формальный язык автоматным, нужно
Применение достаточных и необходимых условий автоматности определяет, является ли некоторый формальный язык
Класс автоматных языков замкнут относительно
Лемма о разрастании позволяет установить
Достаточные условия автоматности применимы для
Построив по двум конечным автоматам с однобуквенными переходами
Использование специальных средств, позволяющих выяснять,
Пересечение выражается через
Класс автоматных языков замкнут относительно
Использование свойств замкнутости класса всех автоматных языков, как достаточных условий автоматности
Пересечение автоматных языков дает в итоге
Для практического применения теории конечных автоматов
Через объединение и дополнение выражается
Конечным автоматом с одним начальным и одним заключительным
Неавтоматность формального языка позволяет установить
Результирующий автомат получается из исходных путем
Критерием автоматности можно считать
Понятие "локальный" относится к
Критерий автоматности для языков над однобуквенным алфавитом
Наличие числового критерия для языков над однобуквенным
С помощью конечного автомата можно
Применение конечного автомата позволяет
Среди языков, не содержащих пустого слова, автоматными являются
Каждый локальный язык является
Наличие гомоморфа и автоматного языка при определенных условиях
Свойства замкнутости класса всех автоматных языков используют
Автоматным является
Множество может быть
Составить автоматный язык можно
Необходимое условие автоматности
Гомоморфизм может быть
Класс всех автоматных языков относительно взятия гомоморфного
Задание исходного языка с помощью конечного автомата
Относительно взятия полного гомоморфного прообраза
С длинами слов обычно связывают
Понятие "побуквенный" относится к
Одним из видов гомоморфизма является
Установка числового критерия автоматности для языков над
Образы локальных языков при побуквенных гомоморфизмах являются
Относительно взятия гомоморфного образа
Одним из видов языков является
Язык может быть
Наиболее удобным и компактным способом конечного описания
Если к обобщенному конечному автомату добавить переход с меткой 0, то множество допускаемых этим автоматом слов
При определенных условиях для любого гомоморфизма и автоматного языка можно
Для произвольного алфавита необходимое условие автоматности
Регулярные выражения применяются в
Регулярные выражения представляют собой
В регулярных выражениях используются символы, обозначающие
Язык называется регулярным, если
Преобразовать конечный автомат в обобщенный конечный автомат можно
Приоритет сложения
Символы, обозначающие итерацию, конкатенацию и объединение
Операция умножения по приоритету
Язык является регулярным тогда и только тогда, когда он является
Если слово принадлежит языку, задаваемому меткой некоторого успешного пути, то оно
Символ "звездочка" используется для обозначения
Произведение регулярных выражений на переходах пути имеет название
Звездная высота - это
Некоторый язык над алфавитом задает
Каждый конечный автомат можно преобразовать в
Метка пути обобщенного конечного автомата - это
В качестве формализма, с помощью которого задаются классы однотипных лексем, регулярные выражения используются
Слово допускается обобщенным конечным автоматом, если оно
С помощью регулярных выражений можно производить
Обобщенным конечным автоматом можно назвать
Минимум звездных высот регулярных выражений, задающих язык, называется
Операция итерации имеет приоритет
Каждое регулярное выражение над алфавитом задает
Замена в метках переходов пустое слово на 1, а каждое непустое слово - на произведение его букв приведет к
В текстовых редакторах и интерпретаторах командной строки применяются
Быстрый алгоритм, позволяющий по произвольному конечному автомату находить минимальный автомат, приобрел название
Состояния полного детерминированного конечного автомата называются различными, если существует слово, которое их
Полугруппа представляет собой
Слово различает состояния полного детерминированного конечного автомата, если
Построить минимальный детерминированный конечный автомат для заданного языка позволяют
Классы эквивалентности по взаимозаменяемости сами являются автоматными языками
Речь идет о конечном синтаксическом моноиде только тогда, когда
Моноид по своей сути
Классы эквивалентности по взаимозаменяемости относительно
Множество двусторонних контекстов
Соответствующие классы эквивалентности слов позволяют
Изоморфным автомату считается
Множество контекстов и множество двусторонних контекстов
Полугруппа - это
Множество правых контекстов слова относительно языка
Непустое множество с ассоциативной бинарной операцией называется
Если соответствующее отношение взаимозаменяемости разбивает множество всех слов рассматриваемого алфавита на конечное число классов эквивалентности, то
Полиномиальный алгоритм, позволяющий по произвольному конечному автомату находить минимальный автомат
Если язык является автоматным, то синтаксический моноид
Любой минимальный полный детерминированный конечный автомат, распознающий заданный язык
Алгоритм, позволяющий по произвольному детерминированному конечному автомату находить минимальный
Моноид - это
Полугруппа с единицей, принадлежащей множеству, называется
Синтаксический моноид конечен в том случае, когда
Минимальность детерминированного автомата определяется
Неопределенная грамматика - это
контекстно-свободная грамматика, не определяющая строгой зависимости между символами
контекстно-свободная грамматика, имеющая слово с двумя левосторонними выводами
В контекстно-свободной грамматике левосторонний вывод существует
К подклассу языков, для которых существует хотя бы одна однозначная грамматика, относят
Каждому символу слова, которым заменяется начальный символ на первом шаге вывода, ставится в соответствие
В контекстно-свободной грамматике для каждого выводимого слова существует
Программные средства статического анализа программ основаны на
Слово, записанное в вершинах, помеченных символами из алфавита, называется
Деревья вывода - это
В программных средствах форматирования исходного кода в основном используют
Удалив из минимального полного детерминированного конечного автомата бесполезное состояние, получим
Подкласс языков, для которых существует хотя бы одна однозначная грамматика, включает в себя
Понятие однозначности контекстно-свободной грамматики
Неоднозначной называют контекстно-свободную грамматику, если есть слово, имеющее
Все праволинейные языки принадлежат к
Кроной называют
Деревья разбора - это
Однозначной называют контекстно-свободную грамматику, если отсутствует слово, имеющее
Начальному символу отвечает
Если существует слово, которое имеет два или более левосторонних вывода, то контекстно-свободная грамматика называется
Если не существует слова, которое имеет два или более левосторонних вывода, то контекстно-свободная грамматика называется
Существенно неоднозначным
Вершина дерева соответствует
Непосредственные "потомки" корня
Крона, по своей сути, является
Укажите верное утверждение:
Контекстно-свободные языки используются
Некоторые упорядоченные деревья, вершины которых помечены символами принадлежности алфавиту - это
Правосторонний и левосторонний вывод определяются
Символ грамматики бывает
Каждая контекстно-свободная грамматика по отношению к некоторой контекстно-свободной грамматике специального вида
Определите неверное утверждение:
Грамматика в нормальной форме Хомского
Эквивалентной некоторой грамматике в нормальной форме Грейбах является
Полезными и достижимыми бывают
Для определения такого множества, что в контекстно-свободной грамматике не присутствуют бесполезные символы, необходимо удалить
Приведение шагов индукции для определения грамматики в нормальную форму Грейбах
Построение грамматики "почти в нормальной форме Грейбах"
Множества, определяющие, что контекстно-свободная грамматика эквивалентна исходной грамматике
Эквивалентной по отношению к некоторой контекстно-свободной грамматике специального вида является
Каждую контекстно-свободную грамматику можно
Грамматика в нормальной бинарной форме - это
Символ грамматики может быть
Множества, определяющие, что в контекстно-свободной грамматике нет бесполезных символов
Если контекстно-свободный язык не содержит пустого слова, то
Метод индукции для приведения грамматики в нормальную форму Грейбах
В грамматике в нормальной форме Грейбах существуют правила
Каждая контекстно-свободная грамматика по отношению к грамматике в нормальной форме Хомского является
Приведение контекстно-свободной грамматики к нормальной форме
Грамматика в нормальной форме Грейбах является
Контекстно-свободный язык может порождаться некоторой грамматикой, если он
Итерация контекстно-свободного языка
Каждая линейная грамматика по отношению к линейной грамматике в нормальной форме
Если количество вершин в самом длинном пути равно 4, то длина кроны дерева вывода равна
Для любого дерева вывода в грамматике длина кроны дерева
Если линейный язык не содержит пустого слова, то он
Определите неверное утверждение из нижеприведенных:
Понятие "порождающий" касается
Содержание в линейном языке пустого слова приведет к
Итерация контекстно-свободного языка
Чтобы быть порождаемым линейной грамматикой в нормальной форме линейный язык
Представление линейного языка в виде объединения двух линейных языков
Если длина кроны равна 32, то количество вершин в самом длинном пути равно
Составление контекстно-свободного языка, как произведения контекстно-свободных языков
Объединение линейных языков
Определение длины кроны дерева вывода, если известно только количество вершин в самом длинном пути
Пресечение контекстно-свободных языков
Произведение контекстно-свободных языков дает в итоге
Класс линейных языков
Класс контекстно-свободных языков
Зависимость между длиной кроны дерева вывода и количеством вершин в самом длинном пути
Количество вершин в самом длинном пути, равное пяти соответствует длине кроны
Лемма о разрастании для контекстно-свободных языков формализует
Объединение линейных языков
Явление "периодичности" в контекстно-свободных языках формализует
Отношение любой линейной грамматики к линейной грамматике в нормальной форме определяется ее
Относительно дополнения и пересечения класс контекстно-свободных языков
Эквивалентной по отношению к линейной грамматике в нормальной форме считается
Автоматы с магазинной памятью можно изображать с помощью
При определении автомата магазинной памяти используют
Множество всех слов, допускаемых автоматом с магазинной памятью, формирует
Конечные автоматы
Количество составляющих автомата с магазинной памятью равно
Определение замкнутости класса контекстно-свободных языков относительно дополнения и пересечения
Функцию магазина в автоматах с магазинной памятью выполняет
В роли стека в автоматах с магазинной памятью используется
Для изображения автоматов с магазинной памятью используют
С понятием автомата с магазинной памятью связывают
В автомате с магазинной памятью присутствует
Потенциально бесконечная память используется
Порядок записи содержимого стека
Контекстно-свободным грамматикам соответствуют
Наличие потенциально бесконечной памяти характерно для
Автомат с магазинной памятью
Структура данных, где в каждый момент доступен только тот элемент, который был добавлен позже остальных присутствующих на данный момент элементов, носит название
Автоматы с магазинной памятью соответствуют
Автоматы бывают
Если автоматы с магазинной памятью распознают один и тот же язык, то они
Вершина стека находится
В определенный момент обработки
Автоматы с магазинной памятью
Язык, распознаваемый автоматом с магазинной памятью - это
Вид автоматов, соответствующих контекстно-свободным грамматикам называется
Изображение автоматов с магазинной памятью посредство диаграмм состояний
Существуют ли критерии контекстной свободности?
При формальном определении конфигурации автомата с магазинной памятью считают все содержимое стека
Бесконечная память представляет собой
Конечный язык можно поставить в соответствие
Задание гомоморфизма равенствами
Если два языка порождены разными грамматиками, то сформировать определенный гомоморфизм
Замкнутость относительно деления
Если два языка порождены одинаковыми грамматиками, то формировать любые гомоморфизмы
Контекстно-свободный язык
Имеет ли смысл определения критериев контекстной свободности?
Каждому символу можно поставить в соответствие
Имея два языка, связанных между собой
Произвольный язык
Наличие критериев контекстной свободности
Гомоморфизм можно задать
Для гомоморфизма и связанного с ним определенным отношением контекстно-свободного языка
С помощью равенств
Замкнутость относительно взятия гомоморфного образа
Определите верное утверждение:
Замкнутость относительно взятия гомоморфного образа
Постановка каждому символу в соответствие конечный язык
Какое из утверждений является неверным?
Замкнутость класса контекстно-свободных языков относительно деления
Замкнутость относительно взятия полного гомоморфного прообраза
Укажите, какое утверждение является неверным:
Возможно ли определение критериев контекстной свободности?
Критерии контекстной свободности
Индукцией по сумме избытков всех переходов доказывается
Каждый автоматный язык является
Автомат с магазинной памятью называется детерминированным, если
Класс языков, распознаваемых детерминированными автоматами с магазинной памятью
Определение критериев контекстной свободности
Замкнутость класса контекстно-свободных языков бывает
Специальный символ, добавляемый в конец каждого слова, называется
Если автомат с магазинной памятью имеет ровно одно начальное состояние и все переходы этого автомата попарно несовместны, то его называют
Маркером конца слова называют специальный символ, добавляемый
Дополнение детерминированного контекстно-свободного языка является
Эквивалентность автоматов с магазинной памятью доказывается с помощью
Детерминированным контекстно-свободным языком является
Автоматы с магазинной памятью, которые ни в какой конфигурации не могут выбирать между несколькими очередными тактами - это
Теорема о детерминизации
Формирование нового класса языков при использовании в автоматах с магазинной памятью теоремы о детерминизации
Теорема о детерминизации для конечных автоматов и аналогичная теорема для автоматов с магазинной памятью
Детерминированным контекстно-свободным языком называют
Детерминированные автоматы с магазинной памятью - это автоматы с магазинной памятью, которые
Применение теоремы о детерминизации для конечных автоматов к автоматам с магазинной памятью
При помощи метода индукции по сумме избытков всех переходов можно определить
Выбор тактов детерминированными автоматами с магазинной памятью
Чтобы получить полезный и естественный с точки зрения практики класс языков, нужно
Маркером конца слова по своей сути
Детерминированый контекстно-свободный язык
Добавление символов к словам для получения нового класса языков
Добавление в конец каждого слова языка специального символа применяется
Синтаксический разбор - это
Протокол любого левостороннего вывода слова в грамматике имеет название
Левым разбором слова в контекстно-свободной грамматике называется
Конечную последовательность конфигураций автомата с магазинной памятью, каждая из которых получается из предыдущей одним тактом работы автомата, называют
Разные протоколы соответствуют
Процесс нахождения дерева вывода слова в заданной контекстно-свободной грамматике называется
По своей сути нисходящий разбор является
Детерминированным контекстно-свободным языком является
В ходе применения теоремы о детерминизации на автоматах с магазинной памятью возникает
Детерминированный автомат с магазинной памятью имеет
Разным правосторонним выводам в одной и той же контекстно-свободной грамматике соответствуют
Последовательность правил, примененных при выводе в контекстно-свободной грамматике, называется
НПротокол левостороннего вывода в контекстно-свободной грамматике является описанием соответствующего дерева вывода
Вычислительный процесс автомата с магазинной памятью по своей сути является
Левый разбор по своей сути является
Префиксный обход первого непосредственного потомка корня выполняется
Устранение из грамматики бесполезных символов
Сентенциальная форма грамматики по своей сути является
Нисходящим разбором принято называть
Разным левосторонним выводам в одной и той же контекстно-свободной грамматике соответствуют
Процесс нахождения левого разбора слова в заданной контекстно-свободной грамматике называется
Сентенциальная форма
Грамматика может обладать
Синтаксическим анализом называют
Протокол вывода в контекстно-свободной грамматике - это
Корень дерева вывода при префиксном обходе посещается
Одним тактом работы автомата с магазинной памятью получается
Обращенную последовательность правил, примененных в выводе называют
Протоколом левостороннего вывода в контекстно свободной грамматике принято называть
При префиксном обходе упорядоченного дерева в первую очередь посещается
Если существует детерминированная машина Тьюринга, допускающая язык, то он называется
Конфигурация машины Тьюринга состоит из
В машину Тьюринга включают
Вычисление частичных функций
Стрелкой на диаграмме, изображающей машину Тьюринга, обозначают
Кружок на диаграмме, изображающей машину Тьюринга, обозначает
Язык, допускаемый машиной Тьюринга - это
Каждый разрешимый язык является
Рекурсивным является язык над алфавитом, если детерминированная машина Тьюринга
На диаграмме, изображающей машину Тьюринга
В понятие машины Тьюринга входит
Допускающее и отвергающее состояниет
К составным частям машины Тьюринга относят
Способность машины Тьюринга вычислять функции
Машина Тьюринга может быть
Вычисление функций
Разрешенным является язык над алфавитом, если детерминированная машина Тьюринга
Способность машины Тьюринга вычислять частичные функции
Изображать машины Тьюринга в виде диаграмм
Недетерминированная машина Тьюринга
Совокупность четырех составляющих, принадлежащих ленточному алфавиту, итерации ленточного алфавита и множеству состояний носит название
Машина Тьюринга
Если существует детерминированная машина Тьюринга, то язык над алфавитом называется
Машины Тьюринга можно изображать в виде
Такт работы машины Тьюринга представляет собой
Пересечение выражается через
Проблема эквивалентности конечных автоматов
Каждая неукорачивающая грамматика
Детерминированная машина Тьюринга с выделенным состоянием
Машина Тьюринга
Эквивалентный способ задания языка
Если грамматика не содержит "рекурсивные" нетерминальные символы, то
Класс контекстных языков замкнут относительно
Некоторой контекстной грамматике
Относительно пересечения, дополнения и объединения класс контекстных языков является
Неукорачивающей является
Эквивалентный способ задания языка, используемый в точной формулировке массовой задачи
Для определения бесконечности языка
Язык является конечным, если
Машину Тьюринга при наличии специальных условий можно назвать
Термин "неукорачивающая" относят к
Порождающая грамматика бывает
Определите верное утверждение:
Замкнутость относительно операции объединения
Через объединение и дополнение выражают
При определенных условиях линейно ограниченным автоматом называют
Класс языков, порождаемых неукорачивающими грамматиками, замкнут относительно
Каждая контекстная грамматика
Чтобы определить, является ли язык бесконечным
К видам порождающей грамматики относят
Любая неукорачивающая грамматика связана с некоторой контекстной грамматикой понятием
Машина Тьюринга
Проблема пересечения контекстно-свободных языков
Язык может быть представлен
"Раскрытием" определенных вспомогательных символов можно получить
Проблема пустоты пересечения контекстно-свободных языков
Если постовская система соответствия имеет хотя бы одно решение, то
Грамматика является неоднозначной тогда и только тогда, когда
Алгоритм, позволяющий по контекстно-свободной грамматике узнать, бесконечен ли язык
Алгоритмические проблемы, связанные с контекстно-свободными языками
Дополнение языка является непустым тогда и только тогда, когда постовская система соответствия
Язык, согласно определению
Если постовская система соответствия имеет решение, то грамматика является
С помощью контекстно-свободной грамматики и автоматов с магазинной памятью
По произвольной контекстно-свободной грамматике
Алгоритм, позволяющий по произвольной контекстно-свободной грамматике узнать, является ли грамматика однозначной
Если постовская система соответствия не имеет решения, то грамматика
Проблема бесконечности пересечения контекстно-свободных языков
Проблема контекстной свободности дополнения контекстно-свободного языка
Проблема контекстной свободности дополнения контекстно-свободного языка и пересечения контекстно-свободных языков
Алгоритм, позволяющий определить, является ли пустым множеством пересечение языков грамматик
Получение линейной грамматики посредством "раскрытия" определенных вспомогательных символов
Дополнение языка является бесконечным тогда и только тогда, когда постовская система
Определить однозначность грамматики по произвольной контекстно-свободной грамматике
Проблема однозначности контекстно-свободной грамматики
Проблемы пустоты и бесконечности пересечения контекстно-свободных языков
Проблема автоматности контекстно-свободного языка
Линейную грамматику можно получить путем
Пересечение языков является непустым тогда и только тогда, когда постовская система соответствия
Проблема равенства контекстно-свободных языков
Дополнение языка является бесконечным тогда и только тогда, когда постовская система соответствия
Вопросы к тесту выложены исключительно в ознакомительных целях: количество вопросов может не совпадать с действительным, актуальность не поддерживается,- за решением теста Welcome to the cashier!
Произведение операции пересечения языков, заданных над одним и тем же алфавитом
Каждая праволинейная грамматика является
Обращением или зеркальным образом называют
слово, в котором символы, составляющие слово, идут в
Алфавитом называется
Используемые в приложениях формальные языки
Грамматика может быть
Конечное непустое множество символов - это
Каждая грамматика порождает
Множеством можно назвать
К способам конечного описания формального языка относят
Конечная последовательность элементов алфавита называется
Элементы алфавита называются
Натуральными числами принято называть
Все грамматики
Если две грамматики порождают один и тот же язык, то они
По определению, строка - это
Слово, в котором символы, составляющие слово, идут в
Натуральные числа - это
Каждому языку, который порождается хотя бы одной
Элементы основного алфавита называются
Неотрицательные целые числа называют
Слово, не содержащее ни одного символа, называется
Определение гомоморфизма своими значениями на однобуквенных
Элементы вспомогательного алфавита называются
К наиболее распространенным способам конечного задания
Если существует конечный автомат, распознающий язык, то
"Мгновенное описание" конечного автомата описывается
Каждая линейная грамматика является
Над языками можно производить операции
Праволинейный язык порождается некоторой праволинейной
Полный детерминированный конечный автомат не должен
Для конструирования распознающих устройств, пригодных для
Два конечных автомата, распознающих один и тот же язык,
Грамматики и автоматы
Праволинейным является
Слово допускается конечным автоматом, если
Каждый автоматный язык является
Конфигурация представляет собой
Конечные автоматы специального вида
Каждый праволинейный язык является
Два конечных автомата называют эквивалентными, если
Некоторым детерминированным конечным автоматом можно задать
Если в конечном автомате имеются несколько переходов с общим началом и общим концом, то такие переходы называются
Конечные автоматы можно изображать в виде
Полным детерминированным конечным автоматом
Если слово является меткой некоторого успешного пути, то оно
Каждый конечный язык является
Автоматами называют
Язык, состоящий из меток всех успешных путей, является
Каждый автоматный язык
Автоматными являютсяи
Конечный преобразователь является
Лемма о разрастании дает
Относительно дополнения и пересечения класс
Необходимые условия автоматности определяют, что
Каждый из исходных языков задан конечным автоматом
Дополнение и пресечение определяют
Пересечение автоматных языков является
Параллельными называют переходы
Относительно итерации, конкатенации и объединения
Свойства замкнутости класса всех автоматных языков
Итерация, конкатенация и объединение определяют
Автоматный язык можно получить
Чтобы выяснить, является ли некоторый формальный язык автоматным, нужно
Применение достаточных и необходимых условий автоматности определяет, является ли некоторый формальный язык
Класс автоматных языков замкнут относительно
Лемма о разрастании позволяет установить
Достаточные условия автоматности применимы для
Построив по двум конечным автоматам с однобуквенными переходами
Использование специальных средств, позволяющих выяснять,
Пересечение выражается через
Класс автоматных языков замкнут относительно
Использование свойств замкнутости класса всех автоматных языков, как достаточных условий автоматности
Пересечение автоматных языков дает в итоге
Для практического применения теории конечных автоматов
Через объединение и дополнение выражается
Конечным автоматом с одним начальным и одним заключительным
Неавтоматность формального языка позволяет установить
Результирующий автомат получается из исходных путем
Критерием автоматности можно считать
Понятие "локальный" относится к
Критерий автоматности для языков над однобуквенным алфавитом
Наличие числового критерия для языков над однобуквенным
С помощью конечного автомата можно
Применение конечного автомата позволяет
Среди языков, не содержащих пустого слова, автоматными являются
Каждый локальный язык является
Наличие гомоморфа и автоматного языка при определенных условиях
Свойства замкнутости класса всех автоматных языков используют
Автоматным является
Множество может быть
Составить автоматный язык можно
Необходимое условие автоматности
Гомоморфизм может быть
Класс всех автоматных языков относительно взятия гомоморфного
Задание исходного языка с помощью конечного автомата
Относительно взятия полного гомоморфного прообраза
С длинами слов обычно связывают
Понятие "побуквенный" относится к
Одним из видов гомоморфизма является
Установка числового критерия автоматности для языков над
Образы локальных языков при побуквенных гомоморфизмах являются
Относительно взятия гомоморфного образа
Одним из видов языков является
Язык может быть
Наиболее удобным и компактным способом конечного описания
Если к обобщенному конечному автомату добавить переход с меткой 0, то множество допускаемых этим автоматом слов
При определенных условиях для любого гомоморфизма и автоматного языка можно
Для произвольного алфавита необходимое условие автоматности
Регулярные выражения применяются в
Регулярные выражения представляют собой
В регулярных выражениях используются символы, обозначающие
Язык называется регулярным, если
Преобразовать конечный автомат в обобщенный конечный автомат можно
Приоритет сложения
Символы, обозначающие итерацию, конкатенацию и объединение
Операция умножения по приоритету
Язык является регулярным тогда и только тогда, когда он является
Если слово принадлежит языку, задаваемому меткой некоторого успешного пути, то оно
Символ "звездочка" используется для обозначения
Произведение регулярных выражений на переходах пути имеет название
Звездная высота - это
Некоторый язык над алфавитом задает
Каждый конечный автомат можно преобразовать в
Метка пути обобщенного конечного автомата - это
В качестве формализма, с помощью которого задаются классы однотипных лексем, регулярные выражения используются
Слово допускается обобщенным конечным автоматом, если оно
С помощью регулярных выражений можно производить
Обобщенным конечным автоматом можно назвать
Минимум звездных высот регулярных выражений, задающих язык, называется
Операция итерации имеет приоритет
Каждое регулярное выражение над алфавитом задает
Замена в метках переходов пустое слово на 1, а каждое непустое слово - на произведение его букв приведет к
В текстовых редакторах и интерпретаторах командной строки применяются
Быстрый алгоритм, позволяющий по произвольному конечному автомату находить минимальный автомат, приобрел название
Состояния полного детерминированного конечного автомата называются различными, если существует слово, которое их
Полугруппа представляет собой
Слово различает состояния полного детерминированного конечного автомата, если
Построить минимальный детерминированный конечный автомат для заданного языка позволяют
Классы эквивалентности по взаимозаменяемости сами являются автоматными языками
Речь идет о конечном синтаксическом моноиде только тогда, когда
Моноид по своей сути
Классы эквивалентности по взаимозаменяемости относительно
Множество двусторонних контекстов
Соответствующие классы эквивалентности слов позволяют
Изоморфным автомату считается
Множество контекстов и множество двусторонних контекстов
Полугруппа - это
Множество правых контекстов слова относительно языка
Непустое множество с ассоциативной бинарной операцией называется
Если соответствующее отношение взаимозаменяемости разбивает множество всех слов рассматриваемого алфавита на конечное число классов эквивалентности, то
Полиномиальный алгоритм, позволяющий по произвольному конечному автомату находить минимальный автомат
Если язык является автоматным, то синтаксический моноид
Любой минимальный полный детерминированный конечный автомат, распознающий заданный язык
Алгоритм, позволяющий по произвольному детерминированному конечному автомату находить минимальный
Моноид - это
Полугруппа с единицей, принадлежащей множеству, называется
Синтаксический моноид конечен в том случае, когда
Минимальность детерминированного автомата определяется
Неопределенная грамматика - это
контекстно-свободная грамматика, не определяющая строгой зависимости между символами
контекстно-свободная грамматика, имеющая слово с двумя левосторонними выводами
В контекстно-свободной грамматике левосторонний вывод существует
К подклассу языков, для которых существует хотя бы одна однозначная грамматика, относят
Каждому символу слова, которым заменяется начальный символ на первом шаге вывода, ставится в соответствие
В контекстно-свободной грамматике для каждого выводимого слова существует
Программные средства статического анализа программ основаны на
Слово, записанное в вершинах, помеченных символами из алфавита, называется
Деревья вывода - это
В программных средствах форматирования исходного кода в основном используют
Удалив из минимального полного детерминированного конечного автомата бесполезное состояние, получим
Подкласс языков, для которых существует хотя бы одна однозначная грамматика, включает в себя
Понятие однозначности контекстно-свободной грамматики
Неоднозначной называют контекстно-свободную грамматику, если есть слово, имеющее
Все праволинейные языки принадлежат к
Кроной называют
Деревья разбора - это
Однозначной называют контекстно-свободную грамматику, если отсутствует слово, имеющее
Начальному символу отвечает
Если существует слово, которое имеет два или более левосторонних вывода, то контекстно-свободная грамматика называется
Если не существует слова, которое имеет два или более левосторонних вывода, то контекстно-свободная грамматика называется
Существенно неоднозначным
Вершина дерева соответствует
Непосредственные "потомки" корня
Крона, по своей сути, является
Укажите верное утверждение:
Контекстно-свободные языки используются
Некоторые упорядоченные деревья, вершины которых помечены символами принадлежности алфавиту - это
Правосторонний и левосторонний вывод определяются
Символ грамматики бывает
Каждая контекстно-свободная грамматика по отношению к некоторой контекстно-свободной грамматике специального вида
Определите неверное утверждение:
Грамматика в нормальной форме Хомского
Эквивалентной некоторой грамматике в нормальной форме Грейбах является
Полезными и достижимыми бывают
Для определения такого множества, что в контекстно-свободной грамматике не присутствуют бесполезные символы, необходимо удалить
Приведение шагов индукции для определения грамматики в нормальную форму Грейбах
Построение грамматики "почти в нормальной форме Грейбах"
Множества, определяющие, что контекстно-свободная грамматика эквивалентна исходной грамматике
Эквивалентной по отношению к некоторой контекстно-свободной грамматике специального вида является
Каждую контекстно-свободную грамматику можно
Грамматика в нормальной бинарной форме - это
Символ грамматики может быть
Множества, определяющие, что в контекстно-свободной грамматике нет бесполезных символов
Если контекстно-свободный язык не содержит пустого слова, то
Метод индукции для приведения грамматики в нормальную форму Грейбах
В грамматике в нормальной форме Грейбах существуют правила
Каждая контекстно-свободная грамматика по отношению к грамматике в нормальной форме Хомского является
Приведение контекстно-свободной грамматики к нормальной форме
Грамматика в нормальной форме Грейбах является
Контекстно-свободный язык может порождаться некоторой грамматикой, если он
Итерация контекстно-свободного языка
Каждая линейная грамматика по отношению к линейной грамматике в нормальной форме
Если количество вершин в самом длинном пути равно 4, то длина кроны дерева вывода равна
Для любого дерева вывода в грамматике длина кроны дерева
Если линейный язык не содержит пустого слова, то он
Определите неверное утверждение из нижеприведенных:
Понятие "порождающий" касается
Содержание в линейном языке пустого слова приведет к
Итерация контекстно-свободного языка
Чтобы быть порождаемым линейной грамматикой в нормальной форме линейный язык
Представление линейного языка в виде объединения двух линейных языков
Если длина кроны равна 32, то количество вершин в самом длинном пути равно
Составление контекстно-свободного языка, как произведения контекстно-свободных языков
Объединение линейных языков
Определение длины кроны дерева вывода, если известно только количество вершин в самом длинном пути
Пресечение контекстно-свободных языков
Произведение контекстно-свободных языков дает в итоге
Класс линейных языков
Класс контекстно-свободных языков
Зависимость между длиной кроны дерева вывода и количеством вершин в самом длинном пути
Количество вершин в самом длинном пути, равное пяти соответствует длине кроны
Лемма о разрастании для контекстно-свободных языков формализует
Объединение линейных языков
Явление "периодичности" в контекстно-свободных языках формализует
Отношение любой линейной грамматики к линейной грамматике в нормальной форме определяется ее
Относительно дополнения и пересечения класс контекстно-свободных языков
Эквивалентной по отношению к линейной грамматике в нормальной форме считается
Автоматы с магазинной памятью можно изображать с помощью
При определении автомата магазинной памяти используют
Множество всех слов, допускаемых автоматом с магазинной памятью, формирует
Конечные автоматы
Количество составляющих автомата с магазинной памятью равно
Определение замкнутости класса контекстно-свободных языков относительно дополнения и пересечения
Функцию магазина в автоматах с магазинной памятью выполняет
В роли стека в автоматах с магазинной памятью используется
Для изображения автоматов с магазинной памятью используют
С понятием автомата с магазинной памятью связывают
В автомате с магазинной памятью присутствует
Потенциально бесконечная память используется
Порядок записи содержимого стека
Контекстно-свободным грамматикам соответствуют
Наличие потенциально бесконечной памяти характерно для
Автомат с магазинной памятью
Структура данных, где в каждый момент доступен только тот элемент, который был добавлен позже остальных присутствующих на данный момент элементов, носит название
Автоматы с магазинной памятью соответствуют
Автоматы бывают
Если автоматы с магазинной памятью распознают один и тот же язык, то они
Вершина стека находится
В определенный момент обработки
Автоматы с магазинной памятью
Язык, распознаваемый автоматом с магазинной памятью - это
Вид автоматов, соответствующих контекстно-свободным грамматикам называется
Изображение автоматов с магазинной памятью посредство диаграмм состояний
Существуют ли критерии контекстной свободности?
При формальном определении конфигурации автомата с магазинной памятью считают все содержимое стека
Бесконечная память представляет собой
Конечный язык можно поставить в соответствие
Задание гомоморфизма равенствами
Если два языка порождены разными грамматиками, то сформировать определенный гомоморфизм
Замкнутость относительно деления
Если два языка порождены одинаковыми грамматиками, то формировать любые гомоморфизмы
Контекстно-свободный язык
Имеет ли смысл определения критериев контекстной свободности?
Каждому символу можно поставить в соответствие
Имея два языка, связанных между собой
Произвольный язык
Наличие критериев контекстной свободности
Гомоморфизм можно задать
Для гомоморфизма и связанного с ним определенным отношением контекстно-свободного языка
С помощью равенств
Замкнутость относительно взятия гомоморфного образа
Определите верное утверждение:
Замкнутость относительно взятия гомоморфного образа
Постановка каждому символу в соответствие конечный язык
Какое из утверждений является неверным?
Замкнутость класса контекстно-свободных языков относительно деления
Замкнутость относительно взятия полного гомоморфного прообраза
Укажите, какое утверждение является неверным:
Возможно ли определение критериев контекстной свободности?
Критерии контекстной свободности
Индукцией по сумме избытков всех переходов доказывается
Каждый автоматный язык является
Автомат с магазинной памятью называется детерминированным, если
Класс языков, распознаваемых детерминированными автоматами с магазинной памятью
Определение критериев контекстной свободности
Замкнутость класса контекстно-свободных языков бывает
Специальный символ, добавляемый в конец каждого слова, называется
Если автомат с магазинной памятью имеет ровно одно начальное состояние и все переходы этого автомата попарно несовместны, то его называют
Маркером конца слова называют специальный символ, добавляемый
Дополнение детерминированного контекстно-свободного языка является
Эквивалентность автоматов с магазинной памятью доказывается с помощью
Детерминированным контекстно-свободным языком является
Автоматы с магазинной памятью, которые ни в какой конфигурации не могут выбирать между несколькими очередными тактами - это
Теорема о детерминизации
Формирование нового класса языков при использовании в автоматах с магазинной памятью теоремы о детерминизации
Теорема о детерминизации для конечных автоматов и аналогичная теорема для автоматов с магазинной памятью
Детерминированным контекстно-свободным языком называют
Детерминированные автоматы с магазинной памятью - это автоматы с магазинной памятью, которые
Применение теоремы о детерминизации для конечных автоматов к автоматам с магазинной памятью
При помощи метода индукции по сумме избытков всех переходов можно определить
Выбор тактов детерминированными автоматами с магазинной памятью
Чтобы получить полезный и естественный с точки зрения практики класс языков, нужно
Маркером конца слова по своей сути
Детерминированый контекстно-свободный язык
Добавление символов к словам для получения нового класса языков
Добавление в конец каждого слова языка специального символа применяется
Синтаксический разбор - это
Протокол любого левостороннего вывода слова в грамматике имеет название
Левым разбором слова в контекстно-свободной грамматике называется
Конечную последовательность конфигураций автомата с магазинной памятью, каждая из которых получается из предыдущей одним тактом работы автомата, называют
Разные протоколы соответствуют
Процесс нахождения дерева вывода слова в заданной контекстно-свободной грамматике называется
По своей сути нисходящий разбор является
Детерминированным контекстно-свободным языком является
В ходе применения теоремы о детерминизации на автоматах с магазинной памятью возникает
Детерминированный автомат с магазинной памятью имеет
Разным правосторонним выводам в одной и той же контекстно-свободной грамматике соответствуют
Последовательность правил, примененных при выводе в контекстно-свободной грамматике, называется
НПротокол левостороннего вывода в контекстно-свободной грамматике является описанием соответствующего дерева вывода
Вычислительный процесс автомата с магазинной памятью по своей сути является
Левый разбор по своей сути является
Префиксный обход первого непосредственного потомка корня выполняется
Устранение из грамматики бесполезных символов
Сентенциальная форма грамматики по своей сути является
Нисходящим разбором принято называть
Разным левосторонним выводам в одной и той же контекстно-свободной грамматике соответствуют
Процесс нахождения левого разбора слова в заданной контекстно-свободной грамматике называется
Сентенциальная форма
Грамматика может обладать
Синтаксическим анализом называют
Протокол вывода в контекстно-свободной грамматике - это
Корень дерева вывода при префиксном обходе посещается
Одним тактом работы автомата с магазинной памятью получается
Обращенную последовательность правил, примененных в выводе называют
Протоколом левостороннего вывода в контекстно свободной грамматике принято называть
При префиксном обходе упорядоченного дерева в первую очередь посещается
Если существует детерминированная машина Тьюринга, допускающая язык, то он называется
Конфигурация машины Тьюринга состоит из
В машину Тьюринга включают
Вычисление частичных функций
Стрелкой на диаграмме, изображающей машину Тьюринга, обозначают
Кружок на диаграмме, изображающей машину Тьюринга, обозначает
Язык, допускаемый машиной Тьюринга - это
Каждый разрешимый язык является
Рекурсивным является язык над алфавитом, если детерминированная машина Тьюринга
На диаграмме, изображающей машину Тьюринга
В понятие машины Тьюринга входит
Допускающее и отвергающее состояниет
К составным частям машины Тьюринга относят
Способность машины Тьюринга вычислять функции
Машина Тьюринга может быть
Вычисление функций
Разрешенным является язык над алфавитом, если детерминированная машина Тьюринга
Способность машины Тьюринга вычислять частичные функции
Изображать машины Тьюринга в виде диаграмм
Недетерминированная машина Тьюринга
Совокупность четырех составляющих, принадлежащих ленточному алфавиту, итерации ленточного алфавита и множеству состояний носит название
Машина Тьюринга
Если существует детерминированная машина Тьюринга, то язык над алфавитом называется
Машины Тьюринга можно изображать в виде
Такт работы машины Тьюринга представляет собой
Пересечение выражается через
Проблема эквивалентности конечных автоматов
Каждая неукорачивающая грамматика
Детерминированная машина Тьюринга с выделенным состоянием
Машина Тьюринга
Эквивалентный способ задания языка
Если грамматика не содержит "рекурсивные" нетерминальные символы, то
Класс контекстных языков замкнут относительно
Некоторой контекстной грамматике
Относительно пересечения, дополнения и объединения класс контекстных языков является
Неукорачивающей является
Эквивалентный способ задания языка, используемый в точной формулировке массовой задачи
Для определения бесконечности языка
Язык является конечным, если
Машину Тьюринга при наличии специальных условий можно назвать
Термин "неукорачивающая" относят к
Порождающая грамматика бывает
Определите верное утверждение:
Замкнутость относительно операции объединения
Через объединение и дополнение выражают
При определенных условиях линейно ограниченным автоматом называют
Класс языков, порождаемых неукорачивающими грамматиками, замкнут относительно
Каждая контекстная грамматика
Чтобы определить, является ли язык бесконечным
К видам порождающей грамматики относят
Любая неукорачивающая грамматика связана с некоторой контекстной грамматикой понятием
Машина Тьюринга
Проблема пересечения контекстно-свободных языков
Язык может быть представлен
"Раскрытием" определенных вспомогательных символов можно получить
Проблема пустоты пересечения контекстно-свободных языков
Если постовская система соответствия имеет хотя бы одно решение, то
Грамматика является неоднозначной тогда и только тогда, когда
Алгоритм, позволяющий по контекстно-свободной грамматике узнать, бесконечен ли язык
Алгоритмические проблемы, связанные с контекстно-свободными языками
Дополнение языка является непустым тогда и только тогда, когда постовская система соответствия
Язык, согласно определению
Если постовская система соответствия имеет решение, то грамматика является
С помощью контекстно-свободной грамматики и автоматов с магазинной памятью
По произвольной контекстно-свободной грамматике
Алгоритм, позволяющий по произвольной контекстно-свободной грамматике узнать, является ли грамматика однозначной
Если постовская система соответствия не имеет решения, то грамматика
Проблема бесконечности пересечения контекстно-свободных языков
Проблема контекстной свободности дополнения контекстно-свободного языка
Проблема контекстной свободности дополнения контекстно-свободного языка и пересечения контекстно-свободных языков
Алгоритм, позволяющий определить, является ли пустым множеством пересечение языков грамматик
Получение линейной грамматики посредством "раскрытия" определенных вспомогательных символов
Дополнение языка является бесконечным тогда и только тогда, когда постовская система
Определить однозначность грамматики по произвольной контекстно-свободной грамматике
Проблема однозначности контекстно-свободной грамматики
Проблемы пустоты и бесконечности пересечения контекстно-свободных языков
Проблема автоматности контекстно-свободного языка
Линейную грамматику можно получить путем
Пересечение языков является непустым тогда и только тогда, когда постовская система соответствия
Проблема равенства контекстно-свободных языков
Дополнение языка является бесконечным тогда и только тогда, когда постовская система соответствия
Вы можете обратится к нам напрямую, через:
По Skype: molodoyberkut
По Telegram: @MolodoyBerkut
По ICQ: 657089516
Или через форму обратной связи на нашем сайте
По Skype: molodoyberkut По Telegram: @MolodoyBerkut По ICQ: 657089516Или через форму обратной связи на нашем сайте
Пока сочиняется...
Экзамен "Математическая теория формальных языков" для пользователей и системных администраторов.
