[naasking]

So you're saying that a set of finite states governed by a set of finite state transitions is not a finite state machine. Ok buddy.

Don't confuse expressiveness and state space. Even if there are more faithful encodings that better preserve other properties, what I said is strictly true and it's important for people to understand that human cognition is not as powerful as some think: a finite state space means a human can be fully captured by a finite state machine.