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