проверка дифференциального автомата