Automata theory and its applications Khoussainov, Bakhadyr

By:

Khoussainov, Bakhadyr

Contributor(s):

Nerode, Anil

Material type: Text

TextPublication details: 2001 Springer New DelhiDescription: xiv, 430 pISBN:

9788184896619

Subject(s):

DDC classification:

006.31 K4A8

Summary: Automata Theory and its Applications is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. These results have important applications to modeling parallel computation and concurrency, the specification and verification of sequential and concurrent programs, databases, operating systems, computational complexity, and decision methods in logic and algebra. Thus, this textbook fills an important gap in the literature by exposing early fundamental results in automata theory and its applications. (http://www.springer.com/birkhauser/computer+science/book/978-0-8176-4207-5?changeHeader)

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Book	Ahmedabad	006.31 K4A8 (Browse shelf(Opens below))	Available		171515

Total holds: 0

Automata Theory and its Applications is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. These results have important applications to modeling parallel computation and concurrency, the specification and verification of sequential and concurrent programs, databases, operating systems, computational complexity, and decision methods in logic and algebra. Thus, this textbook fills an important gap in the literature by exposing early fundamental results in automata theory and its applications. (http://www.springer.com/birkhauser/computer+science/book/978-0-8176-4207-5?changeHeader)

There are no comments on this title.

to post a comment.