Catalog > Sciences > Math > Akira Maruoka: Concise Guide to Computation Theory (PDF)

Akira Maruoka
Concise Guide to Computation Theory [PDF ebook]

Support

Cover of Akira Maruoka: Concise Guide to Computation Theory (PDF)

This textbook presents a thorough foundation to the theory of computation. Combining intuitive descriptions and illustrations with rigorous arguments and detailed proofs for key topics, the logically structured discussion guides the reader through the core concepts of automata and languages, computability, and complexity of computation. Topics and features: 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; discusses finite automata, context-free languages, and pushdown automata; examines the concept, universality and limitations of the Turing machine; investigates computational complexity based on Turing machines and Boolean circuits, as well as the notion of NP-completeness.

€57.78

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9780857295354 ● Publisher Springer London ● Published 2011 ● Downloadable 3 times ● Currency EUR ● ID 4625049 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

42,398 Ebooks in this category

Cover of Chris Chatfield: Introduction to Multivariate Analysis

Chris Chatfield: Introduction to Multivariate Analysis

This book provides an introduction to the analysis of multivariate data.It describes multivariate probability distributions, the preliminary analysisof a large -scale set of data, princ iple componen …

Cover of Michal Ceppan & Marek Liska: Applications of Numerical Methods in Molecular Spectroscopy

Michal Ceppan & Marek Liska: Applications of Numerical Methods in Molecular Spectroscopy

Applications of Numerical Methods in Molecular Spectroscopy provides a mathematical background, theoretical perspective, and review of spectral data processing methods. The book discusses methods of …

Cover of Narenda Govil & Ram N. Mohapatra: Approximation Theory

Narenda Govil & Ram N. Mohapatra: Approximation Theory

‘Contains the contributions of 45 internationally distinguished mathematicians covering all areas of approximation theory-written in honor of the pioneering work of Arun K. Varma to the fields of int …

Cover of Guillermo Gonzalez: Advanced Electromagnetic Wave Propagation Methods

Guillermo Gonzalez: Advanced Electromagnetic Wave Propagation Methods

This textbook provides a solid foundation into many approaches that are used in the analysis of advanced electromagnetic wave propagation problems. The techniques discussed are essential to obtain cl …

Cover of Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra

Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra

Lattice theory extends into virtually every branch of mathematics, ranging from measure theory and convex geometry to probability theory and topology. A more recent development has been the rapid esc …

Cover of Ever J. Barbero: Finite Element Analysis of Composite Materials Using ANSYS®

Ever J. Barbero: Finite Element Analysis of Composite Materials Using ANSYS®

Designing structures using composite materials poses unique challenges, especially due to the need for concurrent design of both material and structure. Students are faced with two options: textbooks …

Cover of Brian Hatfield: Quantum Field Theory Of Point Particles And Strings

Brian Hatfield: Quantum Field Theory Of Point Particles And Strings

First Published in 2018. The emphasis of the book is calculational, and most computations are presented in step-by-step detail. The book is unique in that it develops all three representations of qua …

Cover of S.K. Kar & B.M. Mohan: Continuous Time Dynamical Systems

S.K. Kar & B.M. Mohan: Continuous Time Dynamical Systems

Optimal control deals with the problem of finding a control law for a given system such that a certain optimality criterion is achieved. An optimal control is a set of differential equations describi …

Cover of Brian Albright & William P Fox: Mathematical Modeling with Excel

Brian Albright & William P Fox: Mathematical Modeling with Excel

This text presents a wide variety of common types of models found in other mathematical modeling texts, as well as some new types. However, the models are presented in a very unique format. A typical …

Cover of Michael (University of Nottingham, UK) Clifford: Statistical Inference via Data Science: A ModernDive into R and the Tidyverse

Michael (University of Nottingham, UK) Clifford: Statistical Inference via Data Science: A ModernDive into R and the Tidyverse

Statistical Inference via Data Science: A Modern Dive into R and the Tidyverse provides a pathway for learning about statistical inference using data science tools widely used in industry, academia, …