Languages and machines : an introduction to the theory of computer science /

Bibliografiske detaljer
Hovedforfatter: Sudkamp, Thomas A.
Format: Bog
Sprog:English
Udgivet: Boston ; India : Pearson Addison-Wesley, c2006.[Impression 2009]
Udgivelse:3rd ed.
Fag:
Classic Catalogue: View this record in Classic Catalogue
Indholdsfortegnelse:
  • Mathematical preliminaries
  • Languages
  • Context-free grammars
  • Normal forms for context-free grammars
  • Finite automata
  • Properties of regular languages
  • Pushdown automata and context-free languages
  • Turing machines
  • Turing computable functions
  • The Chomsky hierarchy
  • Decision problems and the church-turing thesis
  • Undecidability
  • Mu-recursive functions
  • Time complexity
  • P, NP and Cook's theorem
  • NP-complete problems
  • Additional complexity classes
  • Parsing : an introduction
  • LL(k) grammars
  • LR(k) grammars.