Languages and machines : an introduction to the theory of computer science
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9788131714751
- 511.3 22 SUD-L
- QA267.3 .S83 2006
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Mathematics | 511.3 SUD-L (Browse shelf(Opens below)) | Available | 000508 |
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Mathematics Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 SMU-F First-order logic | 511.3 SRI-C A course on mathematical logic | 511.3 STO-I Introduction to elementary mathematical logic | 511.3 SUD-L Languages and machines : | 511.3 SUP-F First course in mathematical logic | 511.3 VIS-I Introduction to mathematical computer science | 511.3 WIC-H How to solve mathematical problems |
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.
There are no comments on this title.