Automata Theory: An Algorithmic Approach - Image 1

Price loading...

MIT Press Automata Theory: An Algorithmic Approach

Name: Automata Theory: An Algorithmic Approach
Brand: MIT Press

White

Algorithms

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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. This novel "automata as data structures" paradigm makes holistic connections between automata theory and other areas of computer science not covered in traditional texts, linking the study of algorithms and data structures with that of the theory of formal languages and computability. Esparza and Blondin provide incisive overviews of core concepts along with illustrated examples and exercises that facilitate quick comprehension of rigorous material. 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

Key Features

Automata Theory: An Algorithmic Approach

Product Type : Abis Book

Language: English

Product Specifications

Brand: MIT Press
Colour: White
Format: hardcover
ASIN: 0262048639
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 26 October 2023
Listed Since: 24 January 2023

Barcode

No barcode data available

MIT Press Automata Theory: An Algorithmic Approach

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Automata Theory

Computation Engineering: Applied Automata Theory and Logic

Automata and Computability

Finite Automata

Automata and Languages (Oxford Science Publications)

Formal Languages and Compilation (Texts in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

Formal Languages and Computation: Models and Their Applications

An Introduction to Formal Languages and Automata

Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions

Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)

An Introduction to Formal Language Theory (Monographs in Computer Science)

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Automata Theory with Modern Applications

Learning Automata and Their Applications to Intelligent Systems

Measuring Power of Algorithms, Programs and Automata

Automata Theory and Formal Languages (De Gruyter Textbook)

Theory of Computation

Springer Semirings, Automata, Languages: 5 Monographs

CRC Press Fuzzy Automata and Languages: Theory and Applications

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

Automata Theory with Modern Applications