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

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

(Ответ считается верным, если отмечены все правильные варианты ответов.)

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

$\prod_{i=0}^t[A+I(\bar u(t-i))]\bar s = 0$ (Верный ответ)

$\bigwedge _{d=0}^t[C+J(\bar u(d))] \prod_{i=0}^{d-1}[A+I(\bar u(d-i-1))]\bar s \ne 0$ (Верный ответ)

$\prod_{i=0}^t[A+I(\bar u(t-i))]\bar s \ne 0$

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

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

Для того чтобы входная последовательность $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$ размерности

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

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

Для того чтобы БА $\tilde A$ был БА БПИ, необходимо и достаточно, чтобы для любого состояния $\bar s \in S_n L(\bar s)$ был равен

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

выход

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

Для того чтобы у ЛА

существовал подавтомат ОБПИ A(I,J)

, где

- непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы

Для того чтобы $\mu$ -ЛА

размерности

имел обобщенную ДП длины

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

Если характеристические матрицы

и $F_i, i=\overline{1,l}$ , БС $\tilde A$ являются верхними (нижними) треугольными, где

- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины

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

выход

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

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

Для того чтобы входная последовательность была УП для БА , необходимо и достаточно, чтобы для каждого ненулевого состояния выполнялось: