Что-то я не вижу никакой логики за этим предположением. Поясните подробнее?
ну, наподобие, состояние в текущий момент времени должно зависеть только от состояния в непосредственно предыдущий момент времени. А поскольку "непосредственно предыдущего" в случае с непрерывным временем нет, то это должно выражаться в чем-то наподобие "к какому бы состоянию мы не пришли в предыдущий момент времени, состояние, к которому мы приходим в текущий момент времени, должно зависеть только от предыдущего состояния и от того, что произошло за данный промежуток времени":
$ $g^t(s) = [g^h\circ g^{t-h}](s)$](https://dxdy-03.korotkov.co.uk/f/6/6/8/668dad63fc79dad5f3f2142b55b40d4782.png)
, где

- оператор эволюции из одного состояния в состояние за время

. А таким свойством обладают решения дифференциальных уравнений. Может, это как-то связано.. Ну, типа, что дифференцируемость - ключевое свойство для этого...Что нет других таких полугрупп без предположения дифференцируемости...