Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating Turing machines.
英
美
- 目前对属性文法循环性问题复杂度的证明,多基于自动机理论,如写入推出接受器、交替涂林机等。