株式会社極東書店トップ > 商品一覧 > Automata on Infinite Objects and Church's Problem.
商品詳細
Automata on Infinite Objects and Church's Problem.
・ISBN 978-0-8218-1663-9 paper US$ 28.00
¥6,560.- (税込) ※(※)価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Rabin, M., |
|---|---|
| シリーズ | CBMS Regional Conference Series in Mathematics |
| 出版社 | (American Mathematical Society, US) |
| 出版年月 | 1972 |
| ページ数 | 22 pp. |
| 言語 | ENG |
| ニュース番号 | <M25-25856> |
解説
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.