[froh]

hm

"inputs" can refer to just current and future inputs --- or it refers to the totality of inputs, including the inputs leading up to "here".

in the latter interpretation the machine is perfectly deterministic. and the "deep history" pointer simply is part of the state machine.

[ronin_niron]

Fair pushback - I was loose with "inputs". Formally yes: if you fold input history into the state itself, every deterministic FSM stays deterministic, H pseudo-states included. The narrower point I was trying to make is that the diagram isn't a complete representation once H is involved. From the practical reading of statecharts - "look at the chart and predict next state given a transition" - H breaks that without showing what it added. The latent state exists but isn't drawn. So the formalism is sound; the visualization is incomplete.