This is a graduate lecture course, and I expect you to attend and to take notes. So there may not be any notes for some of our meetings.
Apache/2.0.63 (Unix) DAV/2 Server at webhome.mathcs.emory.edu Port 80Name Last modified Size Description
Parent Directory -
0901/ 01-Sep-2009 14:00 - course intro, DFA's, regular languages
0903/ 03-Sep-2009 14:00 - equivalence of NFA and DFA, first regexp example
0908/ 08-Sep-2009 14:00 - conversion of NFA to regexp, some hw1 review
0910/ 10-Sep-2009 14:00 - pumping examples, in-class hw1, start Chapter 2
0915/ 15-Sep-2009 14:00 - Chomsky Normal Form, any CFL in cubic time
0917/ 17-Sep-2009 14:00 - equivalence of PDA and CFG
0922/ 22-Sep-2009 14:00 - bottom-up parser, CFL pumping lemma
1001/ 01-Oct-2009 14:00 - TM simulations, hw3
1006/ 06-Oct-2009 14:00 - more simulations: enumerator, NTM
1015/ 15-Oct-2009 14:00 - hw3 Turing machines, U.jff, A_TM is not decidable
1020/ 20-Oct-2009 09:31 -
1022/ 25-Oct-2009 00:30 -
handouts/ 10-Nov-2009 09:48 - formatted handouts: info, homework, exams
jflap/ 16-Oct-2009 16:00 - a tool to design and test automata, grammars, and TM's
mail/ 18-Nov-2009 17:17 - email archive