Computation Engineering

Applied Automata Theory and Logic

Ganesh Lalitha Gopalakrishnan

472 pages, parution le 31/05/2006

Ajouter à une liste

Indisponible

Résumé

Although it is critical in today's world that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge, many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning. This textbook uses interactive tools throughout, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.

Written for: Junior and senior level undergraduate students in Automata Theory, Formal Methods, and related courses; well-suited for broad coverage of applications of automata and logic for Grad classes; desk-reference for practicing formal verification engineers

Sommaire

Introduction
Mathematical Preliminaries
Cardinalities and Diagonalization
Binary Relations
Mathematical Logic, Induction, Proofs
Dealing with Recursion
Strings and Languages
Machines, Languages, DFA
NFA and Regular Expressions
Operations on Regular Machinery
The Automaton/Logic Connection, Symbolic Techniques
The `Pumping' Lemma
Context-free Languages
Push-down Automata and Context-free Grammars
Turing Machines
Basic Undecidability Proofs
Advanced Undecidability Proofs
Basic Notions in Logic including SAT
Complexity Theory and NP-Completeness
DFA for Presburger Arithmetic
Model Checking: Basics
Model Checking: Temporal Logics
Model Checking: Algorithms
Conclusions

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Ganesh Lalitha Gopalakrishnan
Parution	31/05/2006
Nb. de pages	472
Format	16,5 x 24,5
Couverture	Relié
Poids	980g
Intérieur	Noir et Blanc
EAN13	9780387244181
ISBN13	978-0-387-24418-1