Lecture Notes

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

---

10. Additional Reading Material: Grammars