Check nearby libraries
Buy this book
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.
Check nearby libraries
Buy this book
Previews available in: English
Edition | Availability |
---|---|
1
Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
2002, Springer London, Imprint, Springer
electronic resource :
in English
144710143X 9781447101437
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 1, 2019
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
February 27, 2022 | Edited by ImportBot | import existing book |
July 1, 2019 | Created by MARC Bot | Imported from Internet Archive item record |