CS 273: Formal Models of Computation

Spring 2006
Professors Lenny Pitt and Margaret Fleck

Welcome to CS 273, Spring 2006.

Watch here for important course information and announcements.

• FINAL EXAM was Tuesday, 5/9/2006, 1:30 PM - 4:30 PM in 1320 DCL
• There are now three corrections to HW 10, the latest posted Thursday 2:50pm.
• Important correction to HW 10 has been posted on the homework page.
• EXAM 2 solutions are posted.
• THURSDAY 4/13 LECTURE in 1320 DCL.
• EXAM 2 was Tuesday, 4/4/2006, 7:00 PM - 9:00 PM in 1320 DCL.
• EXAM 1 solutions are posted.
• EXAM 1 was Tuesday, 2/28/2006, 7:00 PM - 9:00 PM in 151 Everitt Lab.
• Important Note about Homework Formatting
• A pumping-lemma poem
• Generic pumping-lemma argument: Your proofs should follow this style.
• Notes on Closure of Regular Languages (pdf). (Also available as [.tex].)
• Head-Banging Sessions will be held in 0224, Siebel Center this week (beginning Jan 28). See the Course Info page for more information.
• Please fill out the web survey for Head-Banging session scheduling. For more information, see the course newsgroup.
• On Thursdays starting 1/26, we will not meet in the main lecture hall. Instead, we will meet in sections. Based on your LAST NAME, please go to

  Last name begins with	Go to room
  A-F	3405 SC
  G-M	4403 SC
  N-Z	4405 SC

• This semester is the debut of the newly revised version of CS 273. See information about changes to the theory curriculum for more details. In particular, if you took CS 173 prior to last semester, then you are strongly encouraged to take the one hour "transitional" course mentioned at the above link, either this semester, or next semester, and in any case before you take CS 473. The ultimate fate of CS 475 has yet to be decided, but it likely will fade away. However, it WILL be offered in fall 06. If you take this course (CS 273), you should not take CS 475 in the fall though.