Cover Image

Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic /

This book provides an accessible introduction to the most important features of formal languages and automata theory - core topics on computer science degree schemes worldwide. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representatio...

Full description

Bibliographic Details
Main Author:	Parkes, Alan P.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint : Springer, 2002.
Subjects:	Computer science. Information theory. Computer science > Mathematics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Computability and Models : Perspectives East and West /
by: Cooper, S. Barry
Published: (2003)

Algebra of Communicating Processes : Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 /
by: Ponse, A.
Published: (1995)

A Recursive Introduction to the Theory of Computation /
by: Smith, Carl H. (Carl Henry), 1895-
Published: (1994)

Mathematical Computation with Maple V: Ideas and Applications : Proceedings of the Maple Summer Workshop and Symposium, University of Michigan, Ann Arbor, June 28-30, 1993 /
by: Lee, Thomas
Published: (1993)

The Strange Logic of Random Graphs /
by: Spencer, Joel
Published: (2001)

Bounded Queries in Recursion Theory /
by: Gasarch, William I.
Published: (1999)

Parallel Numerical Computation with Applications /
by: Yang, Tianruo
Published: (1999)

Automata Theory and its Applications /
by: Khoussainov, Bakhadyr
Published: (2001)

Refinement Calculus : a Systematic Introduction /
by: Back, Ralph-Johan
Published: (1998)

Fault-Tolerant Parallel Computation /
by: Kanellakis, Paris Christos
Published: (1997)

Deduction Systems /
by: Socher-Ambrosius, Rolf
Published: (1997)

Information and Randomness : An Algorithmic Perspective /
by: Calude, Cristian
Published: (1994)

Completeness and Reduction in Algebraic Complexity Theory /
by: Bürgisser, Peter
Published: (2000)

Mathematical Theory of Optimization /
by: Du, Dingzhu
Published: (2001)

An Introduction to Formal Language Theory /
by: Moll, Robert N.
Published: (1988)

Nonlinear Assignment Problems : Algorithms and Applications /
by: Pardalos, Panos M.
Published: (2000)

Mathematical Logic for Computer Science /
by: Ben-Ari, Mordechai
Published: (2001)

Many-Valued Logics : 1: Theoretical Foundations /
by: Bolc, Leonard
Published: (1992)

Algebraic Combinatorics and Computer Science : a Tribute to Gian-Carlo Rota /
by: Crapo, H.
Published: (2001)

Extremal Combinatorics : With Applications in Computer Science /
by: Jukna, Stasys
Published: (2001)

Euro-Par'98 Parallel Processing : 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings /
by: Pritchard, David
Published: (1998)

Larch: Languages and Tools for Formal Specification /
by: Guttag, John V., 1949-
Published: (1993)

Scheduling in Parallel Computing Systems : Fuzzy and Annealing Techniques /
by: Salleh, Shaharuddin
Published: (1999)

Logic for Learning : Learning Comprehensible Theories from Structured Data /
by: Lloyd, J. W.
Published: (2003)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 /
by: Moschovakis, Yiannis N.
Published: (1992)

Verification of Reactive Systems : Formal Methods and Algorithms /
by: Schneider, Klaus
Published: (2004)

Discrete Analysis and Operations Research /
by: Korshunov, A. D. (Alekseĭ D.)
Published: (1996)

Computation, Logic, Philosophy : a Collection of Essays /
by: Wang, Hao
Published: (1989)

Systems: Approaches, Theories, Applications : Including the Proceedings of the Eighth George Hudson Symposium Held at Plattsburgh, New York, April 11-12, 1975 /
by: Hartnett, William E.
Published: (1977)

Grammatical Evolution : Evolutionary Automatic Programming in an Arbitrary Language /
by: O'Neill, Michael
Published: (2003)

Semirings, Automata, Languages /
by: Kuich, Werner
Published: (1986)

High Performance Computing Systems and Applications /
by: Dimopoulos, Nikitas J.
Published: (2002)

Genetic Programming and Data Structures : Genetic Programming + Data Structures = Automatic Programming! /
by: Langdon, W. B.
Published: (1998)

Multiscalar Processors /
by: Franklin, Manoj
Published: (2003)

Dependence Analysis for Supercomputing /
by: Banerjee, Utpal
Published: (1988)

Problems and Exercises in Discrete Mathematics /
by: Gavrilov, G. P.
Published: (1996)

Handbook of Logic and Proof Techniques for Computer Science /
by: Krantz, Steven G.
Published: (2002)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Foundations of Logic and Mathematics : Applications to Computer Science and Cryptography /
by: Nievergelt, Yves
Published: (2002)

Distributed and Parallel Systems : From Instruction Parallelism to Cluster Computing /
by: Kacsuk, Péter
Published: (2000)