01431pam a2200277 a 4500 79529 316806 57344192 OCoLC 20210307102841.0 041221s2006 maua b 001 0 eng 2004030342 0321322215 (alk. paper) DLC DLC YDX MUQ QA267.3 .S83 2006 511.3 22 STL Sudkamp, Thomas A 88736 Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp 3rd ed Boston : Pearson/Addison-Wesley, c2006 xvii, 654 p. : ill. ; 25 cm Includes bibliographical references (p. 641-647) and indexes Introduction -- 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 Formal languages 88420 Machine theory 3543 Computational complexity 88737 ddc BOOK 0 2021-03-07 0 0 511.3 STL 2021-03-07 CL 00168030 CL 2021-03-07 00:00:00 BOOK ddc 0 0 2021-03-07 0 0 511.3 STL 2021-03-07 CL 00168031 CL 2021-03-07 00:00:00 BOOK ddc 0