Automata on infinite objects and Church’s problem. (English) Zbl 0315.02037

Conference Board of the Mathematical Sciences. Regional Conference Series in Mathematics. No. 13. Providence, R. I.: American Mathematical Society (AMS). 22 p. (1972).


03D05 Automata and formal grammars in connection with logical questions
68Q45 Formal languages and automata
03B25 Decidability of theories and sets of sentences