Automata Theory and its Applications

Automata Theory and its Applications
Author :
Publisher : Springer Science & Business Media
Total Pages : 442
Release :
ISBN-10 : 9781461201717
ISBN-13 : 1461201713
Rating : 4/5 (17 Downloads)

Book Synopsis Automata Theory and its Applications by : Bakhadyr Khoussainov

Download or read book Automata Theory and its Applications written by Bakhadyr Khoussainov and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about 1950. Then in the 1950s there was the work of Kleene on representable events, of Myhill and Nerode on finite coset congruence relations on strings, of Rabin and Scott on power set automata. In the 1960s, there was the work of Btichi on automata on infinite strings and the second order theory of one successor, then Rabin's 1968 result on automata on infinite trees and the second order theory of two successors. The latter was a mystery until the introduction of forgetful determinacy games by Gurevich and Harrington in 1982. Each of these developments has successful and prospective applications in computer science. They should all be part of every computer scientist's toolbox. Suppose that we take a computer scientist's point of view. One can think of finite automata as the mathematical representation of programs that run us ing fixed finite resources. Then Btichi's SIS can be thought of as a theory of programs which run forever (like operating systems or banking systems) and are deterministic. Finally, Rabin's S2S is a theory of programs which run forever and are nondeterministic. Indeed many questions of verification can be decided in the decidable theories of these automata.


Automata Theory and its Applications Related Books

Automata Theory and its Applications
Language: en
Pages: 442
Authors: Bakhadyr Khoussainov
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. First, automata were introduced to represent ideal
Applications of Automata Theory and Algebra
Language: en
Pages: 293
Authors: John L. Rhodes
Categories: Mathematics
Type: BOOK - Published: 2010 - Publisher: World Scientific

DOWNLOAD EBOOK

This book was originally written in 1969 by Berkeley mathematician John Rhodes. It is the founding work in what is now called algebraic engineering, an emerging
Automata, Computability and Complexity
Language: en
Pages: 1120
Authors: Elaine Rich
Categories: Computers
Type: BOOK - Published: 2008 - Publisher: Prentice Hall

DOWNLOAD EBOOK

For upper level courses on Automata. Combining classic theory with unique applications, this crisp narrative is supported by abundant examples and clarifies key
Automata Theory with Modern Applications
Language: en
Pages: 3
Authors: James A. Anderson
Categories: Mathematics
Type: BOOK - Published: 2006-06-22 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductor
Automata and Algebras in Categories
Language: en
Pages: 498
Authors: Jirí Adámek
Categories: Mathematics
Type: BOOK - Published: 1990-08-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Monograph( based very largely upon results original to the Czechoslovakian authors) presents an abstract account of the theory of automata for sophisticated rea