رکورد قبلیرکورد بعدی

" Languages and machines : "


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‬
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟