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

Упражнение 1:

Номер 1

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

Ответ:

(1) замкнут

(2) не определен

(3) обобщен

Номер 2

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

Ответ:

(1) класс всех автоматных языков является замкнутым

(2) определяются критерии однозначности

(3) происходит оценка достоверности

Номер 3

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

Ответ:

(1) производится определение пустых слов языка

(2) находятся символьные несоответствия

(3) класс всех автоматных языков замкнут

Упражнение 2:

Номер 1

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

Ответ:

(1) образы локальных языков при побуквенных гомоморфизмах

(2) образы локальных языков при локальных гомоморфизмах

(3) все контекстные языки

Номер 2

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

Ответ:

(1) автоматными языками

(2) пустыми множествами

(3) неопределенными множествами

Номер 3

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

Ответ:

(1) получение количества слов в языке

(2) наличие гомоморфных периодичных символов

(3) наличие или отсутствие пустого слова

Упражнение 3:

Номер 1

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

Ответ:

(1) возможна

(2) невозможна

(3) практически не применима

Номер 2

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

Ответ:

(1) автоматность языка

(2) гомоморфность языка

(3) контекстность языка

Номер 3

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

Ответ:

(1) периодичным

(2) числовым

(3) итерационным

Упражнение 4:

Номер 1

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

Ответ:

(1) связано с длинами слово

(2) не связано с длинами слов

(3) не определяется длинами сло

Номер 2

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

Ответ:

(1) условия непрерывности

(2) контекстность

(3) автоматность

Номер 3

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

Ответ:

(1) не является обязательным

(2) может быть связано с длинами слов

(3) отсутствует

Упражнение 5:

Номер 1

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

Ответ:

(1) оценить их взаимоиспользование

(2) составить однородный контекстный язык

(3) составить автоматный язык

Номер 2

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

Ответ:

(1) имея связанные между собой гомоморфизм и автоматный язык

(2) при помощи набора символов и пустых слов

(3) с помощью гомоморфов и пустых слов

Номер 3

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

Ответ:

(1) определить количество пустых слов в языке

(2) составить автоматный язык

(3) произвести проверку наличия несоответствий в языке

Упражнение 6:

Номер 1

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

Ответ:

(1) возможно

(2) невозможно

(3) не имеет смысла

Номер 2

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

Ответ:

(1) определить совместимость языково

(2) задать исходный язык

(3) провести интерполяцию символов

Номер 3

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

Ответ:

(1) найти связь между несовместимыми символами

(2) задать исходный язык

(3) определить, является ли язык контекстным

Упражнение 7:

Номер 1

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

Ответ:

(1) побуквенным

(2) билинейным

(3) итерационным

Номер 2

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

Ответ:

(1) начальному автомату

(2) конечному автомату

(3) гомоморфизму

Номер 3

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

Ответ:

(1) гомоморфизм с коррекцией

(2) побуквенный гомоморфизм

(3) гомоморфизм с итерациями

Упражнение 8:

Номер 1

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

Ответ:

(1) глобальным

(2) локальным

(3) централизованным

Номер 2

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

Ответ:

(1) гомоморфизму

(2) языку

(3) символу

Номер 3

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

Ответ:

(1) локальный язык

(2) глобальный язык

(3) язык символов с переменным значением

Упражнение 9:

Номер 1

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

Ответ:

(1) каждый локальный язык

(2) только однородный локальный язык

(3) любой язык вообще

Номер 2

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

Ответ:

(1) программным

(2) контекстным

(3) автоматным

Номер 3

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

Ответ:

(1) заключительно периодическим

(2) незавершенным

(3) пустым

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