Automata on Infinite Objects and Church's Problem |
|
| Author:
| Rabin, M. |
| Series title: | CBMS Regional Conference Series in Mathematics Ser. |
| ISBN: | 978-0-8218-1663-9 |
| Publication Date: | Dec 1972 |
| Publisher: | American Mathematical Society
|
| Book Format: | Paperback |
| List Price: | AUD $37.00 |
Book Description:
|
Presents an overview of certain aspects of the mathematical theory of automata. This book combines and utilizes the various methods, chiefly the method of automata on infinite trees, to obtain a simple and transparent solution of Church's solvability problem.
Presents an overview of certain aspects of the mathematical theory of automata. This book combines and utilizes the various methods, chiefly the method of automata on infinite trees, to obtain a simple and transparent solution of Church's solvability problem.