Automata on infinite objects and Church's problem
Author(s)
Bibliographic Information
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]
Available at / 53 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc19:510/r1132020907068
-
No Libraries matched.
- Remove all filters.
Note
"Expository lectures from the CBMS regional conference held at Morehouse College, Atlanta, Georgia, September 8-12, 1969."
Bibliography: p. [22]
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"
