ОБПИ-автоматы в качестве частного случая включают в себя

ОБПИК-автоматы в качестве частного случая включают в себя

Если является оптимальным ОБПИ подавтоматом ЛА A, то

Если у неизбыточных по выходам ЛА оптимальный подавтомат ОБПИ существует, то он

Обобщенными автоматами без потери информации (ОБПИ-автоматами) называются

Автоматы, являющиеся неинициальными, т. е. такими, у которых начальное состояние неизвестно, называются

Заметим, что если у ЛА, для которого ищется оптимальный подавтомат, ОБПИ таков, что , то этот подавтомат является

Если исходный ЛА не является автоматом БПИ, то оптимальный ОБПИ подавтомат, если таковой существует, можно найти методом перебора начиная с подавтомата , где

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

Для того чтобы у ЛА существовал подавтомат ОБПИ , где и - непустые собственные подмножества множеств входных и выходных каналов ЛА соответственно, необходимо и достаточно, чтобы

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