A half-century of automata theory : celebration and inspiration
著者
書誌事項
A half-century of automata theory : celebration and inspiration
World Scientific, c2001
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
The symposium "Half Century of Automata Theory" was held on July 26, 2000 at the University of Western Ontario, in London, Ontario, Canada. --preface
Includes bibliographical references
内容説明・目次
内容説明
This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of automata theory are reminisced about and future directions are suggested. Although some of the contributions go into rather intriguing technical details, most of the book is accessible to a wide audience interested in the progress of the age of computers.The book is a must for professionals in theoretical computer science and related areas of mathematics. For students in these areas it provides an exceptionally deep view at the beginning of the new millennium.
目次
- Hazard Algebras (Extended Abstract) (J Brzozowski & Z Esik)
- Undecidability and Incompleteness Results in Automata Theory (J Hartmanis)
- Automata Theory: Its Past and Future (J Hopcroft)
- Forty Years of Formal Power Series in Automata Theory (W Kuich)
- Playing Infinite Games in Finite Time (R McNaughton)
- Gene Assembly in Ciliates: Computing by Folding and Recombination (G Rozenberg)
- Compositions over a Finite Domain: From Completeness to Synchronizable Automata (A Salomaa).
「Nielsen BookData」 より
