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

<<- Назад к вопросам

Для билинейных автоматов с распределенным запаздыванием по состоянию для однозначности определения состояний для необходимо задать состояния в моменты времени

(Отметьте один правильный вариант ответа.)

Варианты ответа

(Верный ответ)

Похожие вопросы

Для билинейных автоматов с распределенным запаздыванием по управлению для однозначности определения состояний для t > 0

необходимо

Билинейные автоматы с запаздыванием являются частным случаем общих билинейных систем с распределенным запаздыванием, где соответствующие матрицы (запаздывание на 1, 2, ..., h-1

такт) являются

Если для заданного ЛА

существует такое натуральное число N(A)

, что знания начального отрезка длины N(A)

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

независимо от входной последовательности

и начального состояния ЛА, то

называют ЛА

Для того чтобы входная последовательность $u(0),\bar u(1),...,\bar u(t)$ была УП для БА $\tilde A$ , необходимо и достаточно, чтобы для каждого ненулевого состояния $\bar s \in S_n$ выполнялось:

При построении синхронизирующего дерева автомата

с множеством $S_{0}$ допустимых начальных состояний вершина

-го уровня становится листом, если

Для того чтобы БА $\tilde A$ был БА БПИ- $\bar s(0)$ , необходимо и достаточно, чтобы для любого состояния $\bar s \in R(\bar s(0))$ выполнялось условие

При построении установочного дерева автомата автомата

с множеством $S_{0}$ допустимых начальных состояний вершина

-го уровня становится листом, если

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

с множеством $S_{0}$ допустимых начальных состояний вершина

-го уровня становится листом, если

Если для ЛА $\tilde A$ в любой момент времени

выход

однозначно определяется входом в этот же момент и предыдущими $\mu$ входами и $\mu$ выходами,то ЛА

Под $\sigma$ -множеством автомата

понимается любая конечная совокупность состояний

, не все из которых обязательно различны. Если все элементы $\sigma$ -множества совпадают друг с другом, то оно именуется