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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Gopalakrishnan, Ganesh (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Temas:
Computer science.
Electronic circuits.
Machine theory.
Electrical engineering.
Theory of Computation.
Electronic Circuits and Systems.
Formal Languages and Automata Theory.
Electrical and Electronic Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares