An Introduction to Formal Languages and Machine Computation - Hardcover

Yan, Song Y

Hardcover

ISBN 10: 9810221673 ISBN 13: 9789810221676

Publisher: World Scientific Publishing Co Pte Ltd, 1995

Synopsis

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.

About this title

Synopsis

This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and complexity. As integers are important in mathematics and computer science, the book also contains a chapter on number-theoretic computation. The book is intended for university computing and mathematics students and computing professionals.

Edition details

• Publisher: World Scientific Publishing Co Pte Ltd
• Publication date: 1995
• Language: English
• ISBN 10: 9810221673
• ISBN 13: 9789810221676
• Binding: Hardcover
• Number of pages: 420