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