Automata on infinite objects and Church's problem
著者
書誌事項
Automata on infinite objects and Church's problem
（Regional conference series in mathematics, no. 13）
Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, [1972]
大学図書館所蔵 全53件
注記
"Expository lectures from the CBMS regional conference held at Morehouse College, Atlanta, Georgia, September 8-12, 1969."
Bibliography: p. [22]
内容説明・目次
内容説明
This volume is an outgrowth of a series of lectures presented at the CBMS Regional Conference held at Morehouse College, Atlanta, Georgia, on September 8-12, 1969. The purpose of these notes, which present results reported here for the first time, is two fold. First, to give a quick overview of certain aspects of the mathematical theory of automata and to prove in detail a number of deeper results in this subject. Second, to combine and utilize the various methods, chiefly the method of automata on infinite trees, to obtain a simple and transparent solution of Church's solvability problem.
目次
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.
「Nielsen BookData」 より