Introduction to languages, machines and logic: computable languages, abstract machines and formal logic
Choice Reviews Online · 2002
From the Publisher: This book provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. It is written in an easy-to-read, informal style and 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 - Lots of end-of-chapter exercises Introduction to Languages, Machines and Logic is suitable for use on courses covering formal languages, formal logic, computability and automata theory. It will also make an excellent supplementary text for courses on algorithm complexity and compilers.