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

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

Для билинейных автоматов с распределенным запаздыванием по управлению для однозначности определения состояний для необходимо

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

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

задать начальное состояние в момент времени $t \ne 0$

задать входные символы в моменты времени t = 0, -1, -2, ..., -h

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

задать начальное состояние в момент времени t = 0

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

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

Для билинейных автоматов с распределенным запаздыванием по состоянию для однозначности определения состояний для t > 0

необходимо задать состояния в моменты времени

Билинейные автоматы с запаздыванием являются частным случаем общих билинейных систем с распределенным запаздыванием, где соответствующие матрицы (запаздывание на 1, 2, ..., h-1

такт) являются

При построении синхронизирующего дерева автомата

с множеством $S_{0}$ допустимых начальных состояний вершина

-го уровня становится листом, если

При построении установочного дерева автомата автомата

с множеством $S_{0}$ допустимых начальных состояний вершина

-го уровня становится листом, если

При построении диагностического дерева автомата автомата

с множеством $S_{0}$ допустимых начальных состояний вершина

-го уровня становится листом, если

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

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

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

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

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

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

называют ЛА

Под $\sigma$ -множеством автомата

понимается любая конечная совокупность состояний

, не все из которых обязательно различны. Если все элементы $\sigma$ -множества совпадают друг с другом, то оно именуется

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

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

, где

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

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

размерности

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

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

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