Главная /
Теория экспериментов с конечными автоматами
Теория экспериментов с конечными автоматами - ответы на тесты Интуит
Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях.
Список вопросов:
- # Решение проблемы повышения надежности цифровых устройств (ЦУ)
- # Существующие методы контроля ЦУ подразделяются на
- # Один из принципов построения схемы встроенного контроля (СВК) для комбинационных устройств (КУ), используемый на практике, базируется на
- # Принцип построения СВК может быть использован и для
-
#
При использовании СВК при
, сигнал на выходе возникшей неисправности в ЦУ появится
- # Задача преобразования произвольного автомата в ОБПИК-автомат порядка 1 осуществляется путем
- # Укажите верное утверждение:
- # Укажите верное утверждение:
- # Укажите верное утверждение:
- # Структурная схема ЛА состоит из соединения конечного числа элементарных составляющих, каждая из которых мгновенно выполняет:
- # Сумматор имеет
- # Задержка имеет
- # Если усилитель равен 0, то он
- # Если усилитель равен 1, то он
- # Если усилитель равен -1, то он
-
#
Если
, то входная последовательность
является
-
#
Если
, то входная последовательность
является
-
#
Если
, то входная последовательность
является
-
#
Для того чтобы ЛА
имел СП длины
, необходимо и достаточно, чтобы
-
#
Если для ЛА
существует хотя бы одна СП длины
, то для этого автомата синхронизирующими являются любые входные последовательности, длина которых
-
#
Если главная характеристическая матрица ЛА размерности
является верхней треугольной, то длина минимальной СП для этого ЛА может быть
-
#
Если для ЛА
, у которого характеристическая матрица
невырожденная, существует хотя бы одна УП длины
, то длина его входной установочной последовательности может быть равна
-
#
Если для НЛА
существует хотя бы одна УП длины
, то длина его входной установочной последовательности может быть равна
-
#
Если
, то необходимым и достаточным условием существования СП длины
для НЛА является
- # Каждому обобщенному состоянию (ОС) линейного автомата соответствует
-
#
Обобщенной диаграммой переходов для
-ЛА над полем
называется ориентированный граф, содержащий
-
#
Если в ОДП для любой пары вершин
и
существует путь, ведущий из
в
, то такая ОДП называется
-
#
Если для
-ЛА существует хотя бы одна ОСП длины
, то обобщенными СП для него являются любые входные последовательности длины
-
#
Если у
-ЛА размерности
ранг характеристической матрицы
равен
, то для него существует обобщенная УП, длина которой равна
-
#
Если для
-ЛА размерности
существует хотя бы одна обобщенная УП длины
, то для этого автомата обобщенными УП являются любые входные последовательности длины
-
#
Для того чтобы
-ЛА
размерности
имел обобщенную ДП длины
, необходимо и достаточно, чтобы
-
#
Если для
-ЛА существует хотя бы одна обобщенная ДП длины
, то для него обобщенными являются любые входные последовательности длины
-
#
Если для
-ЛА размерности
существуют обобщенные ДП, то длина таких минимальных последовательностей
- # Если ДС запаздывает по состоянию, то ее поведение описывается уравнением:
- # Если ДС запаздывает по управлению, то ее поведение описывается уравнением:
-
#
Если поведение ДС описывается уравнением
, то она
-
#
ЛА
, заданный над полем
уравнением
при
для любого
называется
-
#
Если для любого
свободного ЛА
то состояние
называется состоянием равновесия, если для любого
- # Состоянием равновесия любого свободного ЛА является
-
#
Состояние равновесия
свободного ЛА
при
называется
-
#
Если свободный ЛА над полем
имеет асимптотически устойчивое состояние, то оно
-
#
Для того чтобы свободный ЛА над полем
имел асимптотически устойчивое состояние равновесия, необходимо и достаточно, чтобы существовало такое натуральное
, для которого
-
#
Для того чтобы ЛА над полем
имел асимптотически устойчивое состояние, необходимо и достаточно, чтобы он был
- # Состояние равновесия ДЛС устойчиво в большом, если
- # Возвращение системы в определенное состояние фазового пространства всякий раз, когда она из него выводится называется
- # Тест - это
-
#
Если для ЛА
в любой момент времени
выход
однозначно определяется входом в этот же момент и предыдущими
входами и
выходами,то ЛА
-
#
Если для ЛА
в любой момент времени
выход
зависит лишь от предыдущих
входов,то ЛА
является
- # Автоматы, являющиеся неинициальными, т. е. такими, у которых начальное состояние неизвестно, называются
- # Вид контроля, который ведется непрерывно в процессе функционирования устройства и параллельно с его работой называется
- # Линейный автомат называется автоматом БПИ, если
- # Укажите верное утверждение:
-
#
Для того чтобы ЛА
являлся ЛА БПИ, необходимо и достаточно, чтобы рангхарактеристической матрицы
равнялся
-
#
Если для заданного ЛА
существует такое натуральное число
, что знания начального отрезка длины
слова w достаточно для однозначного определения первого символа слова
независимо от входной последовательности
и начального состояния ЛА, то
называют ЛА
-
#
Для того чтобы ЛА был автоматом СБПИК-
, необходимо и достаточно, чтобы
была
- # Линейный автомат называется неизбыточным по выходам, если
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
-
#
Для того чтобы у ЛА
существовал подавтомат ОБПИ
, где
и
- непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы
-
#
Если
является оптимальным ОБПИ подавтоматом ЛА A, то
-
#
Если исходный ЛА не является автоматом БПИ, то оптимальный ОБПИ подавтомат, если таковой существует, можно найти методом перебора начиная с подавтомата
, где
-
#
Заметим, что если у ЛА, для которого ищется оптимальный подавтомат, ОБПИ таков, что
, то этот подавтомат является
-
#
Если у неизбыточных по выходам ЛА
оптимальный подавтомат ОБПИ существует, то он
- # Восстановление неизвестной входной последовательности по известному начальному состоянию автомата и наблюдаемой реакции в случае ЛА сводится к
-
#
Пусть задано некоторое конечное множество ЛА
, которое называется базисом, а каждый элемент этого множества - базисным. Предполагается, что сеть содержит в качестве компонентов ЛА
. Помимо элементов сеть содержит входные и выходные полюсы. Из базисных элементов сети будут строиться по определенным правилам:
- # Сеть, в которой отсутствуют незадействованные входы используемых в ее составе базисных элементов, называется
-
#
Выходной канал
ЛА назовем избыточным, если
- # ЛА называется неизбыточным по выходам, если
- # Для того чтобы ЛА был неизбыточным по выходам, необходимо и достаточно, чтобы
- # Для того чтобы ЛА был БПИ и неизбыточным по выходам, необходимо и достаточно, чтобы
- # Множество путей в сети, связывающее каждый внешний вход сети с одним из ее внешних выходов, называется
- # Укажите правильное утверждение:
-
#
Автомат Мили
может быть задан в виде
- # Если из любого состояния автомата достижимы все его состояния, то такой автомат называется
-
#
Алфавит
автомата
называется взвешенным, если
-
#
Если состояние
не является концом ни одной дуги автомата
, т.е
не достижимо ни из одного состояния, отличного от
, то оно называется
- # Эксперимент, предполагающий подачу на вход автомата такой последовательности, которая определена заранее, т. е. до начала эксперимента, называется
- # Эксперимент, предполагающий подачу на вход автомата двух или более подпоследовательностей, в котором каждая последующая подпоследовательность, кроме первой, формируется на основании реакций, вызываемых предыдущими подпоследовательностями называется
- # Задача отыскания начального (стартового) состояния заданного автомата называется
- # Задача установки автомата в известное состояние называется
- # Укажите верное утверждение:
- # Один автомат будем называть копией другого, если
-
#
Под
-множеством автомата
понимается любая конечная совокупность состояний
, не все из которых обязательно различны. Если все элементы
-множества совпадают друг с другом, то оно именуется
- # Укажите правильное утверждение:
- # Дерево преемников является
- # Укажите верное утверждение:
- # Укажите верное утверждение:
-
#
При построении синхронизирующего дерева автомата
с множеством
допустимых начальных состояний вершина
-го уровня становится листом, если
-
#
При построении установочного дерева автомата автомата
с множеством
допустимых начальных состояний вершина
-го уровня становится листом, если
-
#
При построении диагностического дерева автомата автомата
с множеством
допустимых начальных состояний вершина
-го уровня становится листом, если
- # Построение графа синхронизации автомата осуществляется
- # Построение графа установки автомата осуществляется
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Состояние, в котором рассматриваемый ЛА оказывается после подачи ОСП, называется
-
#
Если ЛА является обобщенно синхронизируемым, то для любого
множество синхросостояний, порождаемых всеми ОСП длины
, совпадает с множеством синхросостояний, порождаемых всеми ОСП длины
-
#
Мощность множества всех различных синхросостояний ЛА, заданного над полем
, равна
- # Укажите верное утверждение:
-
#
Пусть
- минимальная ОСП, а
- произвольная ОСП длины
, переводящая ЛА в одно и то же синхросостояние, и пусть
для любого входного символа этого ЛА. Тогда
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
-
#
Линейное уравнение
, где
- обычные интервалы над полем
, имеет алгебраическое решение
в виде обобщенного интервала тогда и только тогда, когда
- # Каково количество перепадов в послежовательности 01110110
- # Каково количество перепадов в послежовательности 011000111010
- # Каково количество перепадов в послежовательности 00101011
-
#
Подмножество
, такое, что
называестя
-
#
Запись вида
, где
, интерпретируется как множество
и называется
-
#
Интервал вида
, где
интерпретируется как элемент поля
называется
-
#
Два интервала
и
называются равными, если
-
#
Пусть для каждой вершины
разветвления удалось получить оценку снизу для лучшего решения из множества
:
. Функция
является
- # Выберете правильное утверждение
-
#
Если для линейных автоматов предполагается, что каждая выходная реакция в момент времени
- это вектор, координаты которого представляют собой точные значения, то такая задача называется
- # Интервальная диагностическая задача является разрешимой, если
- # Укажите правильное утверждение:
- # Укажите правильное утверждение:
-
#
Мощность множества всех решений интервальной системы уравнений с квадратной матрицей равна величине
. При увеличении ширины интервалов, мощность
- # В генетическом алгоритме для решения интервальной диагностической задачи, целевая функция
-
#
Для того чтобы входная последовательность
была СП для БА
, необходимо и достаточно, чтобы выполнялось
-
#
Для того чтобы входная последовательность
была СП для БC
, достаточно, чтобы по крайней мере для одного из значений
выполнялось
-
#
Если характеристические матрицы
и
, БС
являются верхними (нижними) треугольными, где
- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины
-
#
-матрица неоднородной системы уравнений
. Если
, то
-
#
-матрица неоднородной системы уравнений
. Если
, то
- # Выберете правильное утверждение:
- # Задачи синхронизации и установки автоматов - это разновидности задачи управления дискретной системой (ДС), которая в общем виде формулируется следующим образом:
- # Для автоматов, заданных графом переходов, задача синхронизации и установки автоматов сводится к задаче
- # Для автоматов с большим числом состояний построить граф переходов
-
#
Для того чтобы входная последовательность
была УП для БА
, необходимо и достаточно, чтобы для каждого ненулевого состояния
выполнялось:
-
#
Если последовательность
является для БА диагностической, то это означает, что
-
#
Для того чтобы последовательность
была ДП для БА
размерности
, необходимо и достаточно, чтобы
-
#
БА
называется БА без потери информации из состояния
(БПИ-
, если
-
#
Для того чтобы БА
был БА БПИ-
, необходимо и достаточно, чтобы для любого состояния
выполнялось условие
-
#
Cостояние
БА достижимо из состояния
, если
-
#
Для того чтобы БА
был БА БПИ, необходимо и достаточно, чтобы для любого состояния
был равен
-
#
БА
является БА БПИ, если
-
#
БА
является БА CБПИ, если
-
#
Если уравнение состояния БА имеет вид
то БА
-
#
Если уравнение состояния БА имеет вид
то БА
-
#
Если уравнение выхода БА имеет вид
то БА
-
#
Билинейные автоматы с запаздыванием являются частным случаем общих билинейных систем с распределенным запаздыванием, где соответствующие матрицы (запаздывание на
такт) являются
-
#
Для билинейных автоматов с распределенным запаздыванием по состоянию для однозначности определения состояний для
необходимо задать состояния в моменты времени
-
#
Для билинейных автоматов с распределенным запаздыванием по управлению для однозначности определения состояний для
необходимо
- # Обобщенными автоматами без потери информации (ОБПИ-автоматами) называются
- # Укажите верное утверждение:
- # ОБПИ-автоматы в качестве частного случая включают в себя
-
#
Если выполняется
, то пара состояний
и
называется
- # Укажите верное утверждение:
- # Укажите верное утверждение:
-
#
Если из ориентированного конечного графа
удалить все вершины вида
вместе с инцидентными им дугами, если последние, в свою очередь, инцидентны только вершинам такого же вида, а также изолированные вершины, то полученный в результате такого удаления ориентированный конечный граф называется
- # Укажите верное утверждение:
- # Автомат называется оптимальным, если
- # ОБПИК-автоматы в качестве частного случая включают в себя
- # Укажите верное утверждение:
-
#
Если в проверочном графе ОБПИК-автомата
длина максимального пути, начальная дуга которого является выделенной, равна
, то порядок ОБПИК-автомата
равен
-
#
Продолжите утверждение. Каждой комбинации из
символов, являющихся проекциями реакций автомата
по выходным каналам с номерами
, однозначно соответствует искомая проекция
-
#
Для того, чтобы однозначно определить число
оно должно быть
-
#
Пусть автомат
не является ОБПИК-автоматом,
,
, тогда
- # Укажите верное утверждение:
- # Для решения задачи контроля сети автоматов, исходный произвольный автомат следует преобразовывать в БПИ-автомат
- # Укажите верное утверждение
-
#
[Большая Картинка]. На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1.
,
Если состояние автомата равно 1, то конечное состояние будет равно
-
#
[Большая Картинка]. На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1.
,
Если состояние автомата равно 2, то конечное состояние будет равно
-
#
[Большая Картинка]. На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1.
,
Если состояние автомата равно 3, то конечное состояние будет равно
-
#
[Большая Картинка] На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1.
,
Если
, то проекцией по 1-му входному каналу неизвестного входного слова является
-
#
[Большая Картинка] На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1.
,
Если
, то проекцией по 1-му входному каналу неизвестного входного слова является
-
#
[Большая Картинка] На автомат подано неизвестное входное слово длиной 3, а по 1-му выходному каналу при этом наблюдается реакция 0,1,1.
,
Если
, то проекцией по 1-му входному каналу неизвестного входного слова является
- # [Большая Картинка] Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. На данном рисунке блок В
- # [Большая Картинка] Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. На данном рисунке блок С
- # [Большая Картинка]Рисунок иллюстрирует ДУ с памятью, описываемое математической моделью конечного автомата Мили. Выберете верные утверждения: На данном рисунке блок С
- # Функция выходов будет распознана, если
- # Проведение простого безусловного эксперимента должно включать:
- # Наблюдение реакции автомата на входное слово, сравнение на основе полученной реакции функции выходов исследуемого автомата с эталоном и вывод заключения об исправности осуществляется
-
#
Если автомат задан в виде ориентированного графа, у которого начальной является вершина
, то входному слову в графе автомата будет соответствовать
- # Обходом графа называется
- # Путем графа называется
- # Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Решение задачи построения простого безусловного эксперимента позволяет
- # Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Задача построения простого безусловного эксперимента в этом случае эквивалентна
-
#
Для того чтобы у графа
существовал обход, необходимо и достаточно, чтобы
- # Выберете верное утверждение
-
#
Длиной
графа
является
-
#
Для правильного графа
обход длины
существует тогда и только тогда, когда
-
#
Путь (контур) в графе длины
, проходящий через все его дуги и только по одному разу является
-
#
Вершину
графа
, у которой
называется
-
#
Если
- компенсирующая система минимальной длины для
-обхода графа
, то
-
#
Для сильно связного графа
степени
и диаметра
имеет место неравенство
- # Для того чтобы задача распознавания функции выходов неинициального автомата (с точностью до эквивалентности) была разрешима, необходимо и достаточно, чтобы автомат был
-
#
Длина кратчайшего простого безусловного эксперимента, позволяющего распознавать функцию выходов сильно связного неинициального автомата
, где
, не превышает величины
- # Укажите верное утверждение
- # Укажите верные выражения
-
#
Пусть
- множество всех тех вершин графа
, из которых исходит хотя бы одна дуга. Тогда