Introduction to Languages, Machines and Logic Computable Languages, Abstract Machines and Formal Logic
1.1 Overview This chapter briefly describes: • what this book is about • what this book tries to do • what this book tries not to do • a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan guages, abst...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
2002, 2002
|
| Edition: | 1st ed. 2002 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1 Introduction
- Overview
- What This Book Is About
- What This Book Tries to Do
- What This Book Tries Not to Do
- The Exercises
- Further Reading
- Some Advice
- 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 Turing Machines
- 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
- 12 Dimensions of Computation
- 3 Computation and Logic
- 13 Boolean Logic and Propositional Logic
- 14 First Order Predicate Logic
- 15 Logic and Computation
- Solutions to Selected Exercises
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- Further Reading