2 ms·
Yes. But if the automaton being modeled implements a non-terminating turing machine, there is never a repeated global state.
by addaon 4y ago
Yes. But if the automaton being modeled implements a non-terminating turing machine, there is never a repeated global state.