01440nam a2200277 a 4500 13821912 100928m20092006maua b 001 0 eng d 2004030342 9788131714751 0321322215 (alk. paper) DLC DLC DLC DB-DhAAL 511.3 22 Sudkamp, Thomas A. Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp. 3rd ed. Boston ; India : Pearson Addison-Wesley, c2006.[Impression 2009] xvii, 654 p. : ill. ; 24 cm. Includes bibliographical references (p. 641-647) and index. 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. Machine theory. Computational complexity. 2 9569 9569 0 0 ddc 0 0 BRACUL BRACUL GEN 2010-09-28 8 45 511.3 SUD 3010021093 2023-03-02 2023-03-02 1 2010-09-28 BK