База ответов ИНТУИТ

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

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

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

(Отметьте один правильный вариант ответа.)
Варианты ответа
\prod_{i=0}^t[A+I(\bar u(t=i))]>[0]
\prod_{i=0}^t[A+I(\bar u(t=i))]<[0]
\prod_{i=0}^t[A+I(\bar u(t=i))]=[0](Верный ответ)
Похожие вопросы
Для того чтобы входная последовательность u(0),\bar u(1),...,\bar u(t) была УП для БА \tilde A, необходимо и достаточно, чтобы для каждого ненулевого состояния \bar s \in S_nвыполнялось:
Для того чтобы входная последовательность 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 размерности n, необходимо и достаточно, чтобы
Для того чтобы БА \tilde A был БА БПИ-\bar s(0), необходимо и достаточно, чтобы для любого состояния \bar s \in R(\bar s(0)) выполнялось условие
Для того чтобы БА \tilde A был БА БПИ, необходимо и достаточно, чтобы для любого состояния \bar s \in S_n L(\bar s) был равен
Если для ЛА \tilde A в любой момент времени t выход y(t) зависит лишь от предыдущих \mu входов,то ЛА \tilde A является
Для того чтобы у ЛА A существовал подавтомат ОБПИ A(I,J), где I и J - непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы
Для того чтобы \mu-ЛА A размерности n имел обобщенную ДП длины t, необходимо и достаточно, чтобы
Для того чтобы ЛА был автоматом СБПИК-k, необходимо и достаточно, чтобы \bar G_1(k) была
Если характеристические матрицы A и F_i, i=\overline{1,l}, БС \tilde A являются верхними (нижними) треугольными, где n- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины