Language Machines

Language Machines questions any easily progressive model of technological change, demonstrating the persistence rather than the obsolescence of language technologies over time, the continuous and complicated overlap of pens, presses, screens and voice. In these essays new technologies do not simply replace, but rather draw upon, absorb, displace and resituate earlier technologies.

First Published in 1998. Routledge is an imprint of Taylor & Francis, an informa company.

"The phonograph and the typewriter may be things of the past, but this book will resonate with readers who are engaged daily with computer networks, hypertexts, and the forms that mass media will take in the new century."--BOOK JACKET.

A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.

Mentality and Machines was first published in 1985. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. Mentality and Machines — with a new preface and an extended postscript—is a general essay on the philosophy of mind, oriented to philosophical and psychological questions about real as well as imagined, robots and machines. The second edition retains all of the essays from the original book, including Gunderson's influential critique ("The Imitation Game") of A.M. Turing's treatment of the question "Can machines think?" and his controversial distinction between program-receptive and program-resistant aspects of the mind. This edition's postscript includes further reflections on these themes and others, and relates them to recent writings of other philosophers and computer scientists.

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical, and features: - Clear explanations of formal notation and jargon, - Extensive use of examples to illustrate algorithms and proofs, - Pictorial representations of key concepts, - Chapter opening overviews providing an introduction and guidance to each topic, - End-of-chapter exercises and solutions, - Offers an intuitive approach to the topics. This reader-friendly textbook has been written with undergraduates in mind and will be suitable for use on course covering formal languages, formal logic, computability and automata theory. It will also make an excellent supplementary text for courses on algorithm complexity and compilers.

A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.