Overview
- Presents a detailed introduction to the theory of computation, complete with concise explanations of the mathematical prerequisites
- Provides end-of-chapter problems with solutions, in addition to chapter-opening summaries and numerous examples and definitions throughout the text
- Draws upon the author’s extensive teaching experience and broad research interests
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
-
The Theory of Computation
-
Automata and Languages
-
Computability
-
Complexity of Computation
-
Conclusions and Exercise Solutions
About this book
Reviews
From the reviews:
“This work could certainly serve as a text for an undergraduate computer science course, and it might also be considered for presenting these essential modern ideas to students in other majors. … well-thought-out diagrams highlight important concepts and help elucidate proofs. An ideal text for a one-term course introducing computation theory to either majors or nonmajors; also appropriate for undergraduate self-study. Summing Up: Highly recommended. Upper-division undergraduates through professionals.” (P. Cull, Choice, Vol. 49 (3), November, 2011)
“The author walks a delicate path between presenting the breadth of topics and exploring all the depths of the theory, between writing a comprehensive (encyclopedic) textbook and providing a concise overview of the essential topics. … a concise introduction to the theory of computation, concentrating on the fundamental results that have the greatest impact on the theory and its practical applications. … very appropriate for graduate students in computer science or those academics who want a refresher course on the main results of the discipline.” (R. Goldberg, ACM Computing Reviews, March, 2012)
Authors and Affiliations
Bibliographic Information
Book Title: Concise Guide to Computation Theory
Authors: Akira Maruoka
DOI: https://doi.org/10.1007/978-0-85729-535-4
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London Limited 2011
Hardcover ISBN: 978-0-85729-534-7Published: 06 May 2011
Softcover ISBN: 978-1-4471-5816-5Published: 29 August 2014
eBook ISBN: 978-0-85729-535-4Published: 29 April 2011
Edition Number: 1
Number of Pages: XVII, 281
Topics: Theory of Computation, Computational Science and Engineering