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

Пусть задано некоторое конечное множество ЛА $\tilde A={A_1,...,A_k}$ , которое называется базисом, а каждый элемент этого множества - базисным. Предполагается, что сеть содержит в качестве компонентов ЛА $A_i \in \tilde A$ . Помимо элементов сеть содержит входные и выходные полюсы. Из базисных элементов сети будут строиться по определенным правилам:

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

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

совокупность первичных входных полюсов, соответствующих различным переменным сети, есть сеть, и все эти полюсы являются ее вершинами(Верный ответ)

результат присоединения к вершинам сети входов (необязательно всех) некоторого базисного элемента есть сеть; вершинами новой сети являются все вершины исходной сети, незадействованные (если таковые имеются) входы, а также выходы присоединенного элемента(Верный ответ)

результат присоединения к вершинам сети входов (кроме внешних полюсов) и/или выходов некоторого базисного элемента есть снова сеть, вершинами которой являются все вершины сети, полученной на предыдущем этапе, незадействованные (если таковые имеются) входы, а также все выходы присоединенного элемента(Верный ответ)

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

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

выход

зависит лишь от предыдущих $\mu$ входов,то ЛА $\tilde A$ является

ЛА $\tilde A$ , заданный над полем GF(p)

уравнением $\bar s (t+1)=A \bar s(t)+B \bar u(t)$ при $\bar u(t)=[0]$ для любого

называется

Если характеристические матрицы

и $F_i, i=\overline{1,l}$ , БС $\tilde A$ являются верхними (нижними) треугольными, где

- число строк и столбцов упомянутых матриц, то для этой БС существуют СП длины

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

выход

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

Состояние равновесия $\bar s$ свободного ЛА $\tilde A$ при $\forall \bar s \in S_n \exists k \in Nt>k \to \bar s(t)=\bar s$ называется

Если для любого

свободного ЛА $\tilde A$ $\bar s=\bar s(t)$ то состояние $\bar s$ называется состоянием равновесия, если для любого

Если для ЛА $\tilde A$ , у которого характеристическая матрица

невырожденная, существует хотя бы одна УП длины k+1

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

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

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