Тестирование автоматов с помощью счета перепадов

Предлагается процедура контроля автоматов, в которой наблюдается не выходная последовательность, а вычисляется число изменений сигналов в ней. Обсуждается преобразование автоматов в автоматы, для которых такая процедура возможна.