Automata on Infinite Objects and Church’s Problem 论文
1972Regional conference series in mathematics引用 293
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeComputability, Logic, AI Algorithms
摘要
Basic definitions and results Closure properties of difusable sets The sequential calculus Automaton transformations and Church's problem> Regular trees The emptiness problem The solvability problem.