4. In order for an automaton to solve … whatever way might be required. … [p. 5] In short: the theory of automata is … problem. ;;7-29 [Shows how automata can't represent recursive solutions, via a combinatorial system after davisMD.58
Google-1
Google-2
Copyright clearance needed for quotation.