The course syllabus is current as of January 18, 2009.

Your GTA, Tarek Kanan, Email:

Class Listserv (CS4114_11900@listserv.vt.edu)

Local Pages

• Sample inductive proof
• Derivation trees for simplified Algol 60 arithmetic expressions
• Sample parser using DFA
• Bottom-up, breadth-first parser example
• Bottom-up, depth-first parser example
• RegEx to DFA example
• Closure and decidability properties

Assignments

• Assignment 1 due Febuary 5, 2009
• Assignment 2 due Febuary 17, 2009
• Assignment 3 due Febuary 24, 2009
• Assignment 4 due March 5, 2009
• Assignment 5 due March 24, 2009
• Assignment 6 due March 31, 2009
• Assignment 7 due April 14, 2009
• Assignment 8 due April 23, 2009
• Assignment 9 due May 5, 2009

Return to Pixel home page