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

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

Для того чтобы у графа существовал обход, необходимо и достаточно, чтобы

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

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

в любом слое $\sigma$ графа существует не более одной вершины

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

в графе

существует не более одной дуги (s,s',u)

, таких, что $s' \notin \sigma$ (Верный ответ)

для любой вершины $s\in S$ существует путь, связывающий вершину s_o

с вершиной

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

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

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

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

, где

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

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

Для того чтобы ЛА над полем GF(p)

имел асимптотически устойчивое состояние, необходимо и достаточно, чтобы он был

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

размерности

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

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

Для того чтобы свободный ЛА над полем GF(p)

имел асимптотически устойчивое состояние равновесия, необходимо и достаточно, чтобы существовало такое натуральное

, для которого

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

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

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

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

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

являлся ЛА БПИ, необходимо и достаточно, чтобы рангхарактеристической матрицы

равнялся

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