عنوان
پدید آورنده
موضوع
رده
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
