A half-century of automata theory : celebration and inspiration /

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 tech...

Full description

Saved in:
Bibliographic Details
Corporate Authors: World Scientific (Firm)
Group Author: Salomaa, Arto. (Editor); Wood, Derick, 1940- (Editor); Yu, Sheng. (Editor)
Published: World Scientific Pub. Co.,
Publisher Address: Singapore :
Publication Dates: 2001.
Literature type: eBook
Language: English
Subjects:
Online Access: http://www.worldscientific.com/worldscibooks/10.1142/4672#t=toc
Summary: 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.
Carrier Form: 1 online resource (vii,155pages) : illustrations
Bibliography: Includes bibliographical references.
ISBN: 9789812810168
Index Number: QA267
CLC: TP301.1-532
Contents: Hazard algebras (extended abstract) / J. Brzozowski and 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.