Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating Turing machines.
multitape Turing machine model
In 2006 moved to Sanya City, Hainan Province, working in large enterprises directly (Turing machine), he served as chief economist, retired in 1987.
restricted Turing machine
The most famous finite state machine is probably Alan Turing's hypothetical device: the Turing machine, which he wrote about in his 1936 paper, "On Computable Numbers."
oracle Turing machine
The general consensus was, because programming languages are all Turing machines and therefore essentially equivalent, they do not ultimately matter.
Solution calculation of a type of Cauchy problem with arbitrary precision on Turing machines
Although the first part is theory-based, with references to such things as Turing machines and chaos theory, it is not overwhelmingly scientific or mathematical.
In other words, the system and the universal Turing machine can emulate each other.
No one wants to program a Turing machine.