title: Introduction to the Theory of Computation
author:  Michael Sipser 
description: "For the market this text addresses, Introduction to the Theory of Computation, Second Edition is an outstanding text without peer." - Christopher Wilson, University of Oregon<br /><br />"This is a model for readability, with a sensitivity for what students find difficult."
zlib_text: Theory of Computation Lecture Notes
   
   
    
   
   
  Theory of Computation  
  Lecture Notes
  Abhijat Vichare
  August 2005
   
  Contents 
  ●     1 Introduction 
  ●     2 What is Computation ? 
  ●     3 The λ Calculus 
  �H     3.1 Conversions: 
  �H     3.2 The calculus in use 
  �H     3.3 Few Important Theorems 
  �H     3.4 Worked Examples 
  �H     3.5 Exercises 
   
  ●     4 The theory of Partial Recursive Functions 
  �H     4.1 Basic Concepts and Definitions 
  �H     4.2 Important Theorems 
  �H     4.3 More Issues in Computation Theory 
  �H     4.4 Worked Examples 
  �H     4.5 Exercises 
   
  ●     5 Markov Algorithms 
  �H     5.1 The Basic Machinery 
  �H     5.2 Markov Algorithms as Language Acceptors and Recognisers 
  �H     5.3 Number Theoretic Functions and Markov Algorithms 
  �H     5.4 A Few Important Theorems 
  �H     5.5 Worked Examples 
  �H     5.6 Exercises 
   
  ●     6 Turing Machines 
  �H     6.1 On the Path towards Turing Machines 
  �H     6.2 The Pushdown Stack Memory Machine 
  �H     6.3 The Turing Machine 
  �H  