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