Automata Theory: An Algorithmic Approach

by Javier Esparza and Michael Blondin

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. This novel "automata as data structures" paradigm makes holistic connections between automata...

• Format: Hardcover
• Language: English
• ISBN: 0262048639
• ISBN13: 9780262048637
• Release Date: October 2023
• Publisher: MIT Press
• Length: 560 Pages
• Weight: 2.55 lbs.
• Dimensions: 1.5" x 7.1" x 9.1"