05214nam 2200673Ia 450 991082738690332120240404151645.01-281-95168-49786611951689981-281-016-1(CKB)1000000000017054(EBL)1681248(OCoLC)815754709(SSID)ssj0000166911(PQKBManifestationID)11151651(PQKBTitleCode)TC0000166911(PQKBWorkID)10161882(PQKB)11373755(MiAaPQ)EBC1681248(WSP)00004672(Au-PeEL)EBL1681248(CaPaEBR)ebr10255940(CaONFJC)MIL195168(EXLCZ)99100000000001705420010821d2001 uy 0engur|n|---|||||txtccrA half-century of automata theory celebration and inspiration /editors, A. Salomaa, D. Wood, S. Yu1st ed.River Edge, N.J. World Scientificc20011 online resource (164 p.)Description based upon print version of record.981-02-4590-4 Includes bibliographical references.CONTENTS ; Preface ; Hazard Algebras (Extended Abstract) ; 1 Introduction ; 2 Transients ; 3 Change-Counting Algebra ; 4 Counting Changes to a Threshold ; 5 Circuit Simulations ; 6 Extensions of Boolean Functions ; 7 Complexity Issues ; 8 Conclusions ; ReferencesUndecidability and Incompleteness Results in Automata Theory 1 Introduction ; 2 Basic Concepts and II2-Completeness; 3 Undecidability and Incompleteness Results ; 4 Representation Independent Incompleteness Results ; 5 Incomplete Languages ; 6 Minimal Automata and Incompleteness ; 7 Succinctness Results8 Conclusion References ; Automata Theory: Its Past and Future ; 1 Introduction ; 2 Beginnings of Automata Theory ; 3 External Changes Impacting Future Directions ; 4 Conclusions ; References ; Forty Years of Formal Power Series in Automata Theory ; 1 Introduction2 Continuous monoids and semirings 3 Automata and the Theorem of Kleene ; 4 Algebraic systems and pushdown automata ; 5 Principal cones of algebraic power series ; 6 Decidability questions ; References ; Playing Infinite Games in Finite Time ; 1 Infinite games ; 2 The score function3 Theoretical results about scoring 4 When to end the play ; 5 Finding playable games ; 6 A specific suggestion ; References ; Gene Assembly in Ciliates: Computing by Folding and Recombination ; Introduction. ; 1 Preliminaries. ; 2 DNA molecules: structure and notation.3 Gene assembly in ciliates. 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 begiMachine theoryCongressesAlgebraCongressesMachine theoryAlgebra511.3Salomaa Arto25836Wood Derick1940-543189Yu Sheng1631247MiAaPQMiAaPQMiAaPQBOOK9910827386903321A half-century of automata theory3975897UNINA