Lecture Notes

1. Introduction in Theory of Computing (Section 1) 2/page 4/page 6/page 
   Introduction in Theory of Computing (Section 2) 2/page 4/page 6/page 
2. Mathematical Review (Section 1) 2/page 4/page 6/page 
   Mathematical Review (Section 2) 2/page 4/page 6/page 
3. Basic Concepts and Notations (Section 1) 2/page 4/page 6/page 
   Basic Concepts and Notations (Section 2) 2/page 4/page 6/page 
4. Finite Automata (DFAs/NFas, e-NFAs) 2/page 4/page 6/page 
   Finite Automata (DFAs/NFas, e-NFAs) 2/page 4/page 6/page 
   • Sample Proof  
   • Examples
     1. Example Language of Numbers  2/page 4/page 6/page 
        Example Language of Numbers  2/page 4/page 6/page 
     2. Other Automata Examples  2/page 4/page 6/page 
        Other Automata Examples  2/page 4/page 6/page 
     3. Proof and Grail Example   2/page 4/page 6/page 
        Proof and Grail Example   2/page 4/page 6/page 
5. Regular Expressions 2/page 4/page 6/page 
   Regular Expressions 2/page 4/page 6/page 
6. Properties of Regular Languages 2/page 4/page 6/page 
   Properties of Regular Languages 2/page 4/page 6/page 
7. Grammars 2/page 4/page 6/page 
   Grammars 2/page 4/page 6/page 
8. Properties of Context Free Languages 2/page 4/page 6/page 
   Properties of Context Free Languages 2/page 4/page 6/page 
9. Decidability and Computability

---

10. Additional Reading Material: Grammars