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

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

Если в проверочном графе ОБПИК-автомата длина максимального пути, начальная дуга которого является выделенной, равна , то порядок ОБПИК-автомата равен

Задача преобразования произвольного автомата в ОБПИК-автомат порядка 1 осуществляется путем

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

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

Пусть автомат не является ОБПИК-автоматом,, , тогда

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