عنوان
پدید آورنده
موضوع
رده
QA267.3 .S83 1997
QA267
.
3
.
S83
1997
کتابخانه
محل استقرار
شابک
شابک
0201821362
شابک
9780201821369
شماره کتابشناسی ملی
شماره
b533748
عنوان و نام پديدآور
عنوان اصلي
Languages and machines :
نام عام مواد
[Book]
ساير اطلاعات عنواني
an introduction to the theory of computer science /
نام نخستين پديدآور
Thomas A. Sudkamp
وضعیت ویراست
وضعيت ويراست
Second edition
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Reading, Mass. :
نام ناشر، پخش کننده و غيره
Addison-Wesley Pub.,
تاریخ نشرو بخش و غیره
[1997]
تاریخ نشرو بخش و غیره
©1997
مشخصات ظاهری
نام خاص و کميت اثر
xv, 569 pages :
ساير جزييات
illustrations ;
ابعاد
24 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 553-559) and index
یادداشتهای مربوط به مندرجات
متن يادداشت
pt I. Foundations. Mathematical preliminaries -- Languages -- pt. II. Context-free grammars and parsing. Context-free grammars -- Parsing; an introduction -- Normal forms -- pt. III. Automata and languages. Finite automata -- Regular languages and sets -- Pushdown automata and context-free languages -- Turing machines -- The Chomsky hierarchy -- pt. IV. Decidability and computability. Decidability -- Numeric computation -- Mu-recursive functions -- pt. V. Computational complexity. Computational complexity -- Tractability and NP-complete problems -- pt. VI. Deterministic parsing. LL(k) grammars -- LR(k) grammars -- Appendix I. Index of notation -- Appendix II. The Greek alphabet -- Appendix III. Backus-Naur definition of Pascal
بدون عنوان
0
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Languages and machines.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computational complexity
موضوع مستند نشده
Formal languages
موضوع مستند نشده
Machine theory
موضوع مستند نشده
automate fini
موضوع مستند نشده
Complejidad computacional
موضوع مستند نشده
décidabilité
موضوع مستند نشده
grammaire formelle
موضوع مستند نشده
langage formel
موضوع مستند نشده
langage programmation
موضوع مستند نشده
Lenguaje formal
موضوع مستند نشده
machine Turing
موضوع مستند نشده
Teoría de las máquinas
موضوع مستند نشده
théorie complexité
رده بندی ديویی
شماره
511
.
3
ويراست
20
رده بندی کنگره
شماره رده
QA267
.
3
نشانه اثر
.
S83
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Sudkamp, Thomas A
مبدا اصلی
تاريخ عمليات
20160712061831.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
