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

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

Для того, чтобы однозначно определить число оно должно быть

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

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

минимальным из всех возможных для заданного автомата

чисел такого рода(Верный ответ)

максимальным из всех возможных для заданного автомата

чисел такого рода

суммой из всех возможных для заданного автомата

чисел такого рода

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

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

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

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

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

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

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

называют ЛА

Продолжите утверждение. Каждой комбинации из N(A)

символов, являющихся проекциями реакций автомата

по выходным каналам с номерами $1,...,\mu$ , однозначно соответствует искомая проекция

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

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

, где

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

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

размерности

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

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

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

Пусть автомат

не является ОБПИК-автоматом, $S_0 =\{1,2,3\}$ , t=1

, тогда

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

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

выход

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

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

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