Research Catalog
Computation engineering : applied automata theory and logic
- Title
- Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan.
- Author
- Gopalakrishnan, Ganesh
- Publication
- New York, NY : Springer, [2006], ©2006.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | QA76.9.M35 G665 2006g | Off-site |
Holdings
Details
- Description
- xxxv, 471 pages : illustrations; 25 cm
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [453]-460) and index.
- Contents
- 1. Introduction -- 2. Mathematical preliminaries -- 3. Cardinalities and diagonalization -- 4. Binary relations -- 5. Mathematical logic, induction, proofs -- 6. Dealing with recursion -- 7. Strings and languages -- 8. Machines, languages, DFA -- 9. NFA and regular expressions -- 10. Operations on regular machinery -- 11. The automaton/logic connection, symbolic techniques -- 12. The 'pumping' lemma -- 13. Context-free languages -- 14. Push-down automata and context-free grammars -- 15. Turing machines -- 16. Basic undecidability proofs -- 17. Advanced undecidability proofs -- 18. Basic notions in logic including SAT -- 19. Complexity theory and NP-completeness -- 20. DFA for Presburger arithmetic -- 21. Model checking : basics -- 22. Model checking : temporal logics -- 23. Model checking : algorithms -- 24. Conclusions -- Book web site and tool information -- BED solution to the tic-tac-toe problem.
- ISBN
- 0387244182 (hd.bd.)
- LCCN
- 2006920602
- OCLC
- ocm70249249
- SCSB-5264608
- Owning Institutions
- Columbia University Libraries