Генератор исчерпывающего теста на основе двоичного счетчика для одного вида синхронного автомата с конечной памятью

Рассматривается двоичный счетчик в качестве генератора исчерпывающего теста для синхронного автомата с конечной памятью типа $B$-схемы. Показано, что двоичный счетчик обеспечивает на своих выходах полный перебор значений сигналов, взятых не только в данный момент времени, но и в любой предшествующий момент, свой для каждого выхода.