Дифференциальный автомат (9)