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

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Sudkamp, Thomas A.
التنسيق: كتاب
اللغة:English
منشور في: Boston ; India : Pearson Addison-Wesley, c2006.[Impression 2009]
الطبعة:3rd ed.
الموضوعات:
Classic Catalogue: View this record in Classic Catalogue
جدول المحتويات:
  • 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.