Cover Image
Read Now

Computation Engineering Applied Automata Theory and Logic

"This classroom-tested undergraduate textbook is unique in presenting logic and automata theory as a single subject...I highly recommend this book to you as the best route I know into the concepts underlying modern industrial formal verification." - Dr. Michael J.C. Gordon FRS, The Univers...

Full description

Bibliographic Details
Main Author: Gopalakrishnan, Ganesh
Format: eBook
Language:English
Published: New York, NY Springer US 2006, 2006
Edition:1st ed. 2006
Subjects:
Computer Science
Electrical And Electronic Engineering
Electrical Engineering
Formal Languages And Automata Theory
Machine Theory
Electronic Circuits
Electronic Circuits And Systems
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items