Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic /
This book provides an accessible introduction to the most important features of formal languages and automata theory - core topics on computer science degree schemes worldwide. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representatio...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London : Imprint : Springer,
2002.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | This book provides an accessible introduction to the most important features of formal languages and automata theory - core topics on computer science degree schemes worldwide. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition will include 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. This book will be invaluable to students of computer science but it will also prove essential reading to all practitioners needing to know about formal methods. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (XI, 351 pages) |
| ISBN: | 9781447101437 (electronic bk.) 144710143X (electronic bk.) |