Выдержка из книги
Горбатов В.А.
Логическое управление распределёнными системами
При увеличении размерности входного вектора ( Р ( Х) К) для поиска несвязных сомножителей ( 7, удовлетворяющих ограничениям Р ( Х) К, для описания ситуаций нарушения детерминированности вводится понятие зависимости пары внутренних состояний от входной переменной и существенной зависимости переменных автомата.
