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

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

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

Если \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 \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} является
Для того чтобы входная последовательность 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 выполнялось
Если для ЛА \tilde A в любой момент времени t выход y(t) зависит лишь от предыдущих \mu входов,то ЛА \tilde A является
Вершину s графа G(S,U), у которой \Delta (s)>0 называется
Если для заданного ЛА A существует такое натуральное число N(A), что знания начального отрезка длины N(A) слова w достаточно для однозначного определения первого символа слова p независимо от входной последовательности p и начального состояния ЛА, то A называют ЛА
Если характеристические матрицы A и F_i, i=\overline{1,l}, БС \tilde A являются верхними (нижними) треугольными, где n- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины
Если для ЛА \tilde A в любой момент времени t выход y(t) однозначно определяется входом в этот же момент и предыдущими \mu входами и \mu выходами,то ЛА
При построении синхронизирующего дерева автомата A с множеством S_{0} допустимых начальных состояний вершина S k-го уровня становится листом, если