Теория экспериментов с конечными автоматами

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

Номер 1

Состояние, в котором рассматриваемый ЛА оказывается после подачи ОСП, называется

Ответ:

(1) обобщенным синхросостоянием

(2) необобщенным синхросостоянием

(3) простым синхросостоянием

Номер 2

Если ЛА является обобщенно синхронизируемым, то для любого  множество синхросостояний, порождаемых всеми ОСП длины , совпадает с множеством синхросостояний, порождаемых всеми ОСП длины

Ответ:

(1)

(2)

(3)

Номер 3

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

Ответ:

(1)

(2)

(3)

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

Номер 1

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

Ответ:

(1) нулевое обобщенное синхросостояние никогда не входит во множество всех синхросостояний ЛА

(2) нулевое обобщенное синхросостояние иногда входит во множество всех синхросостояний ЛА

(3) нулевое обобщенное синхросостояние всегда входит во множество всех синхросостояний ЛА

Номер 2

 Пусть  - минимальная ОСП, а  - произвольная ОСП длины , переводящая ЛА в одно и то же синхросостояние, и пусть  для любого входного символа этого ЛА. Тогда

Ответ:

(1)

(2)

(3)

Номер 3

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

Ответ:

(1) если весовая функция math

является неотрицательной, то минимальную по весу ОСП рассматриваемого обобщенно синхронизируемого ЛА следует искать среди ОСП минимальной длины

(2) если весовая функция math

является отрицательной, то минимальную по весу ОСП рассматриваемого обобщенно синхронизируемого ЛА следует искать среди ОСП минимальной длины

(3) если весовая функция math

является неотрицательной, то минимальную по весу ОСП рассматриваемого обобщенно синхронизируемого ЛА следует искать среди ОСП максимальной длины

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

Номер 1

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

Ответ:

(1) задача построения ОСП максимального веса, переводящей обобщенно синхронизируемый ЛА в заданное обобщенное синхросостояние, всегда может быть сведена к задаче целочисленного программирования с линейными ограничениями

(2) задача построения ОСП минимального веса, переводящей обобщенно синхронизируемый ЛА в заданное обобщенное синхросостояние, всегда может быть сведена к задаче целочисленного программирования с линейными ограничениями

(3) задача построения ОСП минимального веса, переводящей обобщенно синхронизируемый ЛА в заданное обобщенное синхросостояние, всегда может быть сведена к задаче целочисленного программирования с нелинейными ограничениями

Номер 2

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

Ответ:

(1) множество math

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

(2) множество math

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

(3) множество math

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

Номер 3

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

Ответ:

(1)

(2)

(3)

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

Номер 1

Каково количество перепадов в послежовательности 01110110

Ответ:

(1) 4

(2) 8

(3) 3

Номер 2

Каково количество перепадов в послежовательности 011000111010

Ответ:

(1) 6

(2) 12

(3) 2

Номер 3

Каково количество перепадов в послежовательности 00101011

Ответ:

(1) 5

(2) 4

(3) 8

Упражнение 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) в классическом случае каждая math

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

(2) в классическом случае каждая math

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

(3) в классическом случае каждая math

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

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

Номер 1

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

Ответ:

(1) общее число состояний в преемнике math

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

(2) общее число состояний в преемнике math

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

(3) общее число состояний в преемнике math

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

Номер 2

Мощность множества всех решений интервальной системы уравнений с квадратной матрицей равна величине . При увеличении ширины интервалов, мощность

Ответ:

(1) быстро растет

(2) не изменяется

(3) быстро убывает

Номер 3

В генетическом алгоритме для решения интервальной диагностической задачи, целевая функция

Ответ:

(1) используется для оценивания приспособленности

(2) используется для увеличивания приспособленности

(3) используется для уменьшения приспособленности

Теория экспериментов с конечными автоматами - тест 20