Автономное тестирование линейных последовательностных машин

Рассматривается метод проверки линейных последовательностных машин (ЛПМ), при котором тестовые наборы формируются из сигналов внутренних полюсов автономной ЛПМ, содержащей проверяемую ЛПМ. Приводятся условия преобразования ЛПМ в произвольную автономную ЛПМ и результаты анализа полноты диагностирования.