The global state approach was continued in automata theory for finite state machines and push down stack machines, including their nondeterministic versions.
Глобальный подход к состоянию был продолжен в теории автоматов для конечных автоматов и машин со стеком, в том числе их недетерминированные версии.