TOC, II Mid semester Exam syllabus (2015)

• Closure properties of regex,
• Myhill-Nerode theorem and its applications for testing regularity and for minimization of FA,
• CFL & CFG,
• closure properties of CFL,
• parsing,
• simplification of CFGs,
• Chomsky normal form (CNF),
• pumping lemma for CFL,
• PDA.

---