Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
 
Automata Theory: An Algorithmic Approach
🌠 Top Free C Programming Books - 100% Free or Open Source
  • Title Automata Theory: An Algorithmic Approach
  • Author(s) Javier Esparza and Michael Blondin
  • Publisher: The MIT Press (October 17, 2023); eBook (Draft, Creative Commons Licensed)
  • License(s): Creative Commons License (CC)
  • Paperback 560 pages
  • eBook PDF (Draft, 321 pages)
  • Language: English
  • ISBN-10: 0262048639
  • ISBN-13: 978-0262048637
  • Share This:  

Book Description

A comprehensive introduction to Automata Theory that uses the novel approach of viewing automata as data structures.

This textbook presents automata theory from a fresh viewpoint inspired by its main modern application, program verification, where automata are viewed as data structures for the algorithmic manipulation of sets and relations.

  • Uses novel “automata as data structures” approach
  • Algorithm approach ideal for programmers looking to broaden their skill set and researchers in automata theory and formal verification
  • The first introduction to automata on infinite words that does not assume prior knowledge of finite automata
  • Suitable for both undergraduate and graduate students
  • Thorough, engaging presentation of concepts balances description, examples, and theoretical results
  • Extensive illustrations, exercises, and solutions deepen comprehension
About the Authors
  • Javier Esparza is Professor and Chair of Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich and coauthor of Free Choice Petri Nets and Unfoldings: A Partial-Order Approach to Model Checking.
  • Michael Blondin is Associate Professor of Computer Science at the Université de Sherbrooke.
Reviews, Rating, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
:
Other Categories
Resources and Links