Text

Languages and Machines

---

Beginning with formal language theory and parsing, this book thoroughly covers the fundamental topics of the theory of computer science. It examines the languages of the Chomsky hierarchy, the grammars that generate them, and the finite automata that accept them. The development of abstract machines continues with the Church-Turing thesis and computability theory. Computational com- plexity and NP-completeness are introduced by analyzing the computa- tions of Turing machines. Parsing with LL and LR grammars is included to emphasize language definition and to provide the groundwork for the study of compiler design.
Languages and Machines: An Introduction to the Theory of Computer Science is intended for computer scientists interested in the theoretical foundations of their subject. It does not assume a rigorous mathemati- cal background; the necessary mathematics is developed simultaneously with the presentation of the topics. An ideal text for self-study, this book contains many carefully developed features to assist the reader. Some of these features include:
- Step-by-step, unhurried proofs.
- Over 200 worked-out examples that demonstrate theoretical concepts.
- Numerous diagrams and line drawings, highlighting the underlying concepts.
- Bibliographies at the end of each chapter.

---

Ketersediaan

Informasi Detail

No. Panggil

004-Sus-i

Penerbit

USA : Simultaneously., 1991

Deskripsi Fisik

444 hal 17 x 24 cm

Bahasa

English

ISBN/ISSN

0-21-15768-3

Tipe Isi

Text

Tipe Media

Book

Subjek

-

Daftar isi

Informasi Lainnya

Daftar Isi

Versi lain/terkait

Lampiran Berkas