Amazon cover image
Image from Amazon.com

Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes.

By: Material type: TextTextPublication details: London ; New York : Springer, c2002.Description: xi, 351 p. : ill. ; 24 cmISBN:
  • 1852334649 (pbk. : alk. paper)
  • 9781852334642 (pbk. : alk. paper)
Subject(s): LOC classification:
  • QA267.3 .P37 2002
Online resources:
Contents:
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.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books (30-Day Checkout) 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.