Выдержка из книги
Бурин Л.И.
Справочник по радиоэлектронным устройствам Т 1
Цифровой автомат обладает полной системой переходов, если для каждой пары его внутренних состояний wt и Wj найдется хотя бы один входной сигнал, который переводит автомат из состояния ш, в состояние Wj. Это условие должно выполняться как при i. Иначе говоря, для полноты системы переходов необходимо и достаточно, чтобы для любой пары состояний Wi и Wj уравнение Wj ty ( Wi u) разрешалось относительно и. При выполнении этого условия в каждом столбце таблицы переходов автомата обязательно должны фигурировать символы всех его состояний.