An up-to-date, authoritative text for courses in theory of computability and languages. The authors redefine the building blocks of automata theory by offering a single unified model encompassing all traditional types of computing machines and "real world" electronic computers. This reformulation of computablity and formal language theory provides a framework for building a body of knowledge. A solutions manual and an instructor's software disk are also available.

Скачать книгу бесплатно (djvu, 12.40 Mb)

---

Читать «The Language of Machines: An Introduction to Computability and Formal Languages»