This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Languages and machines :
"
Thomas A. Sudkamp
Document Type
:
BL
Record Number
:
711559
Doc. No
:
b533748
Main Entry
:
Sudkamp, Thomas A
Title & Author
:
Languages and machines : : an introduction to the theory of computer science /\ Thomas A. Sudkamp
Edition Statement
:
Second edition
Publication Statement
:
Reading, Mass. :: Addison-Wesley Pub.,, [1997]
:
, ©1997
Page. NO
:
xv, 569 pages :: illustrations ;; 24 cm
ISBN
:
0201821362
:
: 9780201821369
Bibliographies/Indexes
:
Includes bibliographical references (pages 553-559) and index
Contents
:
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
Subject
:
Computational complexity
Subject
:
Formal languages
Subject
:
Machine theory
Subject
:
automate fini
Subject
:
Complejidad computacional
Subject
:
décidabilité
Subject
:
grammaire formelle
Subject
:
langage formel
Subject
:
langage programmation
Subject
:
Lenguaje formal
Subject
:
machine Turing
Subject
:
Teoría de las máquinas
Subject
:
théorie complexité
Dewey Classification
:
511.3
LC Classification
:
QA267.3.S83 1997
https://lib.clisel.com/site/catalogue/711559
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن