Announcements
(8/16) The newsgroup for the course is ucb.class.cs172.
Announcements will be posted concurrently there and here.
(8/30) One of you pointed out a bit of nondeterminism in the
earlier syllabus---the dates Sept. 27, Sept. 29, and Oct. 1
were repeated twice!
I've posted a revised syllabus on the course homepage.
Note that this revision shifts the midterm to Friday,
Oct. 15 instead of Monday, Oct. 11.
(9/30) A hint on problem 5 on the current problem set:
You can assume that the problem "test that two
DFA's are equivalent on all inputs" is a decidable
problem. That is, you can assume that a Turing machine
exists to decide equivalence, and you can use that
Turing machine as a subroutine in your solution,
without giving details.
(10/13) Solutions to problem set 7 are on the course homepage;
these should help you in studying for the midterm.
(10/27) The next two homeworks (9 and 10) cover the most important
material in the course and will count 1 1/4 times
as much as the other homeworks.
(11/7) There was a bug in problem 4(b) on homework 10. The AND's
should have been OR's. A corrected version of the homework is on
the course homepage.
(11/12) I've decided to extend the deadline for homework 10; the
new due date is 11/17 (Wednesday).
(11/22) There will be no class on Wednesday, 11/24.
(11/22) Homework 11 can be turned in either (a) in section on Tuesday,
or (b) on Wednesday between 1:00 and 1:10 in 306 Soda.
I will have normal office hours this week, and I will be in Soda
Hall both days (i.e., Wednesday and Friday). --Mike