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

Если последовательность $u(0),\bar u(1),...,\bar u(t)$ является для БА диагностической, то это означает, что

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

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

знание реакции БА на нее не позволяет однозначно найти ее начальное состояние

знание реакции БА на нее позволяет однозначно найти любое ее состояние

знание реакции БА на нее позволяет однозначно найти ее начальное состояние(Верный ответ)

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

Для того чтобы входная последовательность $u(0),\bar u(1),...,\bar u(t)$ была СП для БC $\tilde A$ , достаточно, чтобы по крайней мере для одного из значений i=0,1,...,t

выполнялось

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

Для того чтобы последовательность $u(0),\bar u(1),...,\bar u(t)$ была ДП для БА $\tilde A$ размерности

, необходимо и достаточно, чтобы

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

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

выход

зависит лишь от предыдущих $\mu$ входов,то ЛА $\tilde A$ является

Если $\forall s_{j_1},s_{j_2} \in S\delta (s_{j_1},p)=\delta (s_{j_2},p)$ , то входная последовательность $p=x_{i_1},x_{i_2},...,x_{i_n}$ является

Если $\forall s_{j_1},s_{j_2} \in S\lambda (s_{j_1},p)=\lambda (s_{j_2},p) \to s_{j_1}=s_{j_2}$ , то входная последовательность $p=x_{i_1},x_{i_2},...,x_{i_n}$ является

Если состояние

не является концом ни одной дуги автомата

, т.е

не достижимо ни из одного состояния, отличного от

, то оно называется

Если $\forall s_{j_1},s_{j_2} \in S\lambda (s_{j_1},p)=\lambda (s_{j_2},p) \to \delta (s_{j_1},p)=\delta (s_{j_2},p)$ , то входная последовательность $p=x_{i_1},x_{i_2},...,x_{i_n}$ является

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

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

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

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

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

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

называют ЛА

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

Если последовательность является для БА диагностической, то это означает, что

Если последовательность $u(0),\bar u(1),...,\bar u(t)$ является для БА диагностической, то это означает, что