Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes.
Material type: TextPublication details: London ; New York : Springer, c2002.Description: xi, 351 p. : ill. ; 24 cmISBN:- 1852334649 (pbk. : alk. paper)
- 9781852334642 (pbk. : alk. paper)
- QA267.3 .P37 2002
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Books (30-Day Checkout) | Nash Library General Stacks | QA267.3.P37 2002 | 1 | Available | 33710001239297 |
Includes bibliographical references (p. 341-324) and index.
1. Introduction -- pt. 1. Languages and machines -- 2. Elements of formal languages -- 3. Syntax, semantics, and ambiguity -- 4. Regular languages and finite state recognisers -- 5. Context free languages and pushdown recognisers -- 6. Important features of regular and context free languages -- 7. Phrase structure languages and turning machines -- pt. 2. Machines and computation -- 8. Finite state transducers -- 9. Turing machines as computers -- 10. Turing's thesis and the universality of the turing machine -- 11. Computability, solvability, and the halting problem -- pt. 3. Computation and logic -- 13. Boolean logic and propositional logic -- 14. First order predicate logic -- 15. Logic and computation.