دانلود کتاب A half-century of automata theory : celebration and inspiration

This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. There are 39 peer-reviewed contributions together with full papers and extended abstracts by the four invited speakers, G.H. Gonnet, D. Lazard, W. McCune and W.-T. Wu, and these cover some of the most significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software, and computer-aided geometric design 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)