An Introduction to Formal Languages and Machine Computation

Front Cover
World Scientific, 1998 - Computers - 400 pages
0 Reviews
This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum and biological computation. As the theory of computation is a subject based on mathematics, a thorough introduction to a number of relevant mathematical topics, including mathematical logic, set theory, graph theory, modern abstract algebra, and particularly number theory, is given in the first chapter of the book. The book can be used either as a textbook for an undergraduate course, for a first-year graduate course, or as a basic reference in the field.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

ComputationRelated Mathematics
1
Formal Languages and Automata
95
Turing Computability and Complexity
163
NumberTheoretic Computations and Applications
245
New Models of Computation
361
Bibliography
381
Index
393
Copyright

Other editions - View all

Common terms and phrases

References to this book

Bibliographic information