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

Opis bibliograficzny
1. autor: Sudkamp, Thomas A.
Format: Książka
Język:English
Wydane: Boston ; India : Pearson Addison-Wesley, c2006.[Impression 2009]
Wydanie:3rd ed.
Hasła przedmiotowe:
Classic Catalogue: View this record in Classic Catalogue
Spis treści:
  • 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.