AMS Bookstore LOGO amslogo
Return to List

AMS TextbooksAMS Applications-related Books

Automata on Infinite Objects and Church's Problem
M. Rabin
A co-publication of the AMS and CBMS.

CBMS Regional Conference Series in Mathematics
1972; 22 pp; softcover
Number: 13
Reprint/Revision History:
reprinted 1982
ISBN-10: 0-8218-1663-2
ISBN-13: 978-0-8218-1663-9
List Price: US$24
Member Price: US$19.20
All Individuals: US$19.20
Order Code: CBMS/13
[Add Item]

Request Permissions

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 twofold. 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
Powered by MathJax

  AMS Home | Comments:
© Copyright 2014, American Mathematical Society
Privacy Statement

AMS Social

AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia