Even if something can change its semantics, you can still represent it as a state machine if you just make a copy of every state for every possible set of seman

Even if something can change its semantics, you can still represent it as a state machine if you just make a copy of every state for every possible set of semantics. The semantic state can just be another part of the state machine's overall state.