Items related to Automata on Infinite Objects and Church's Problem...

Automata on Infinite Objects and Church's Problem (CBMS Regional Conference Series in Mathematics) - Softcover

Rabin, M.

 
9780821816639: Automata on Infinite Objects and Church's Problem (CBMS Regional Conference Series in Mathematics)
Softcover
ISBN 10: 0821816632 ISBN 13: 9780821816639
Publisher: American Mathematical Society, 1972

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
American Mathematical Society
Publication date
1972
Language
English
ISBN 10 
0821816632
ISBN 13 
9780821816639
Binding
Paperback
Number of pages
22