Computer Science 423: Finite Automata and Theory of Computation

Fall 2006 web page. Here you can find all manner of information relating to CS423.

Announcements

Note: A revised version of Solution set 7 is posted below, which changes a few minor things. The changes affected the solutions for problems 1 and 3b.

A few TeX hints: To make the symbol we've been using for "blank", the TeX command is $\sqcup$. To make a "dotted version" of a symbol, you can use $\dot$: do $\dot{0}$, for instance, to put a dot over a 0. Also, remember that to make show up properly, you should code it at $\langle M \rangle$ rather than $$; the second will look very strange.

Note: Revised versions of Solution set 2 and Solution set 3 are posted below. Solution set 2 solved a different version of problem 3b, while Solution set 3 omitted the solution for problem 3 and gave solution for a different version of problem 4.

Banner doesn't list our meeting place. We are meeting in McGlothlin-Street 002.

Contact Information

Instructor:   Moses Liskov,  mliskov *at* cs.wm.edu
Office:       McGl 135
Office Hours: Wednesday, 4-6pm, except when a homework is due on a 
              Tuesday; in those weeks, OH are Monday, 4-6pm.

Lecture:      TuTh 11-12:20, McGlothlin-Street 002
Teaching Assistant: Alexander Babansky, babansky *at* cs.wm.edu
Office:             McGl 111
Office hours:       Friday, 1-2pm.

Handouts

  1. Course Policies (PDF)
  2. Syllabus (PDF)
  3. Homework 1 (PDF) - (LaTeX template)
  4. Homework 2 (PDF) - (LaTeX template)
  5. Homework 3 (PDF) - (LaTeX template)
  6. Homework 4 (PDF) - (LaTeX template)
  7. Homework 5 (PDF) - (LaTeX template)
  8. Homework 6 (PDF) - (LaTeX template)
  9. Homework 7 (PDF) - (LaTeX template)
  10. Homework 8 (PDF) - (LaTeX template)
  11. Homework 9 (PDF) - (LaTeX template)
  12. Homework 10 (PDF) - (LaTeX template)