AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Automata on Infinite Objects and Church’s Problem

About this Title

Michael Rabin

Publication: CBMS Regional Conference Series in Mathematics
Publication Year: 1972; Volume 13
ISBNs: 978-0-8218-1663-9 (print); 978-1-4704-2373-5 (online)
DOI: https://doi.org/10.1090/cbms/013

View full volume as PDF

Read more about this volume

Table of Contents

Front/Back Matter

• View this volume's front and back matter

Chapters

• Automata on infinite objects and Church’s problem
• Basic definitions and results
• Closure properties of definable sets
• The sequential calculus
• Automaton transformations and Church’s problem
• Regular trees
• Definable sets contain regular trees
• The emptiness problem
• The solvability problem
• A basis theorem