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