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

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