Title:
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp.
Main Entry:
Sudkamp, Thomas A.
Publisher:
Pearson Addison-Wesley,
Publication Date:
c2006.
Publication Place:
Boston :
ISBN:
0321322215 (alk. paper)
9780321322210 (alk. paper)
Subject:
Formal languages.
Machine theory.
Computational complexity.
Edition:
3rd ed.
Contents:
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.
Cover Image: