TY - BOOK AU - Linz, Peter TI - An introduction to formal languages and automata SN - 9781449615529 AV - QA 267.3 .L56 2012 PY - 2012/// CY - Sudbury, Massachusetts PB - Jone and Bartlett Learning KW - MACHINE THEORY N1 - Includes bibliographical references and index; 1. Introduction to the theory of computation -- 2. Finite automata -- 3. Regular languages and regular grammars -- 4. Properties of regular language -- 5. Context-free languages -- 6. Simplification of context-free grammars and normal forms -- 7. Pushdown automata -- 8. Properties of context-free languages -- 9. Turing machines -- 10. Other models of Turing machines -- 11. A hierarchy of formal language and automata -- 12. Limits of algorithmic computation -- 13. Other models of computation -- 14. An overview of computational complexity N2 - This book is designed for an introductory course on formal languages, automata, computability, and related matters ER -