Множество путей в сети, связывающее каждый внешний вход сети с одним из ее внешних выходов, называется

Пусть задано некоторое конечное множество ЛА , которое называется базисом, а каждый элемент этого множества - базисным. Предполагается, что сеть содержит в качестве компонентов ЛА . Помимо элементов сеть содержит входные и выходные полюсы. Из базисных элементов сети будут строиться по определенным правилам:

Эксперимент, предполагающий подачу на вход автомата такой последовательности, которая определена заранее, т. е. до начала эксперимента, называется

Эксперимент, предполагающий подачу на вход автомата двух или более подпоследовательностей, в котором каждая последующая подпоследовательность, кроме первой, формируется на основании реакций, вызываемых предыдущими подпоследовательностями называется

Для решения задачи контроля сети автоматов, исходный произвольный автомат следует преобразовывать в БПИ-автомат

Функция выходов будет распознана, если

Для того чтобы задача распознавания функции выходов неинициального автомата (с точностью до эквивалентности) была разрешима, необходимо и достаточно, чтобы автомат был

Наблюдение реакции автомата на входное слово, сравнение на основе полученной реакции функции выходов исследуемого автомата с эталоном и вывод заключения об исправности осуществляется

Длина кратчайшего простого безусловного эксперимента, позволяющего распознавать функцию выходов сильно связного неинициального автомата , где , не превышает величины

Запись вида , где , интерпретируется как множество и называется

Пусть в распоряжении экспериментатора находится один экземпляр автомата Мили, у которого известны входной алфавит, выходной алфавит, множество состояний и функция переходов. Решение задачи построения простого безусловного эксперимента позволяет