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