Introduction to Languages, Machines and Logic

Computable Languages, Abstract Machines and Formal Logic

By: Alan P. Parkes

Write A Review

Paperback | 26 April 2002 | Edition Number 2

At a Glance

Paperback
364 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$119.75

or 4 interest-free payments of $29.94 with

Ships in 5 to 7 business days

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, abstract machines, and logic. Computable languages are related to what are usually known as "formal lan- guages". I avoid using the latter phrase here because later on in the book I distin- guish between formal languages and computable languages. In fact, computable languages are a special type of formal languages that can be processed, in ways considered in this book, by computers, or rather abstract machines that represent computers. Abstract machines are formal computing devices that we use to investigate prop- erties of real computing devices. The term that is sometimes used to describe abstract machines is automata, but that sounds too much like real machines, in particular the type of machines we call robots. The logic part of the book considers using different types of formal logic to represent things and reason about them. The logics we consider all play a very important role in computing. They are Boolean logic, propositional logic, and first order predicate logic (FOPL).

Industry Reviews

From the reviews: "The book is accessible to students with limited mathematical training ! . The text is illustrated with nice pictures; there are many exercises and some of them have sketchy solutions grouped in a special section. The book also includes comments on further readings and a good index." (Cristian S. Calude, Zentralblatt MATH, Vol. 1041 (16), 2004)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Language & Linguistics Reference, Dictionaries & Guides Computing & I.T.Computer Science Mathematical Theory of Computation Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Calculus & Mathematical Analysis Numerical Analysis

Introduction
Languages and Machines
Elements of Formal Languages
Syntax, Semantics and Ambiguity
Regular Languages and Finite State Recognisers
Context-Free Languages and Pushdown Recognisers
Important Features of Regular and Context-Free Languages
Phrase Structure Languages and Turing Machines
Machines and Computation
Finite State Transducers
Turing Machines as Computers
Turing's Thesis and the Universality of the Turing Machine
Computability, Solvability and the Halting Problem
Dimensions of Computation
Computation and Logic
Boolean and Propositional Logic
First Order Predicate Logic
Logic and Computation
Solutions to Selected Exercises
Further Reading
Index
Table of Contents provided by Publisher. All Rights Reserved.

Introduction to Languages, Machines and Logic

Computable Languages, Abstract Machines and Formal Logic

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Numerical Analysis

Introductory Numerical Analysis

Advances in Numerical Methods and Analysis

Learning Data Science

Data Wrangling, Exploration, Visualization, and Modeling with Python

Introduction to Finite Element Analysis Using Matlab(r) and Abaqus

Constrained Cooperation: Event-Triggered and Intelligent Backstepping Control for Nonlinear Multiagent Systems

Balancing Performance, Communication, and Computation

Numerical Methods for Modeling Metasurface with GSTC

Fuzzy Model-Based Sliding Mode Control of Complex Nonlinear Systems

Engineering Mathematics and Operations Research

Handbook Series for Mechanical Engineering

Handbook Series for Mechanical Engineering

Monte Carlo Integration with MATLAB and Simulink

Impact Dynamics

A Numerical Approach

Data-Driven Modeling & Scientific Computation

Methods for Complex Systems & Big Data

Integral Methods in Science and Engineering

Study and Solutions of Mathematical Models

Applied Mathematics with F#

Walter Gautschi, Volume 4

Selected Works with Commentaries

Modeling with Knowledge and Data

Concepts and Applications for Engineers

Quantum Chaos and Disorder

An Introduction with Sample Programs and Exercises

Monte Carlo and Quasi-Monte Carlo 2024

MCQMC 2024, Waterloo, Canada, August 18â"23

New Trends in the Applications of Differential Equations in Sciences

NTADES 2025, Saints Constantine and Helena, Bulgaria, September 1â"4

Mathematics and Intelligent Systems in Industry

MISI'25 Conference, Safi, Morocco, July 9â"10, 2025

Computational and Experimental Simulations in Engineering

Proceedings of ICCES 2025, Volume 4

Recent Advances in Communications and Computers

Lecture Notes in Networks and Systems

Mathematics for Industrial Applications

8th ICoMS, Athens, Greece, September 24â"26, 2025

PDE-constrained optimization within FreeFEM

SpringerBriefs on PDEs and Data Science

Heuristic Search Methods and Dynamics for Multi-Body Gravitational Systems

With Mission Applications for Cislunar Space, the Moon, and Mars

This product is categorised by