State machines cannot change the semantics of themselves. We can. We are like state machines most of the time but we can switch into "developer mode" and deploy updates whenever we choose to :)
That's not true at all. There are many, many state machine implementations where the machine's states and paths are altered by the machine itself. See for instance https://digitalcommons.trinity.edu/cgi/viewcontent.cgi?artic...