> State machines cannot change the semantics of themselves. That's not true at all. There are many, many state machine implementations where the machine's stat

> State machines cannot change the semantics of themselves. 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?article=1008&context=compsci_honors https://digitalcommons.trinity.edu/cgi/viewcontent.cgi?artic...