Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp
نوع المادة :
نصتفاصيل النشر: Boston : Pearson/Addison-Wesley, c2006الطبعة: 3rd edالوصف: xvii, 654 p. : ill. ; 25 cmردمك: - 0321322215 (alk. paper)
- 511.3 22 STL
- QA267.3 .S83 2006
المحتويات:
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
كتاب
مراجعات من LibraryThing.com:
| المكتبة الحالية | رقم الاستدعاء | حالة | الباركود | |
|---|---|---|---|---|
| المكتبة المركزية بالمجمعة (CL) | 511.3 STL (استعراض الرف(يفتح أدناه)) | المتاح | 00168030 | |
| المكتبة المركزية بالمجمعة (CL) | 511.3 STL (استعراض الرف(يفتح أدناه)) | المتاح | 00168031 |
إجمالي الحجوزات: 0
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
لا توجد تعليقات على هذا العنوان.
تسجيل الدخول إلى حسابك لنشر تعليق.