Elements of Computation Theory

• Main Author: Singh, Arindama (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2009.
• Series: Texts in Computer Science,
• Subjects: Computer science.; Computers.; Computer mathematics.; Computer Science.; Theory of Computation.; Computational Science and Engineering.

As Computer Science progressively matures as an established discipline, it becomes increasingly important to revisit its theoretical foundations, learn the appropriate techniques for answering theory-based questions, and build one’s confidence in implementing this knowledge when building computer ap...

Table of Contents:

• Mathematical Preliminaries
• Regular Languages
• Equivalences
• Structure of Regular Languages
• Context-free Languages
• Structure of CFLs
• Computably Enumerable Languages
• A Noncomputably Enumerable Language
• Algorithmic Solvability
• Computational Complexity.