Although you may discuss the general approach to solving a problem with other people, you should not discuss the solution in detail. You must not take any written notes away from such a discussion. Also, you must list on the cover page of your solutions any people with whom you have discussed the problems. The solutions you hand in should be your own work. While writing them, you may look at the course textbook and your own lecture notes but no other outside sources.
Homework assignments | 15% |
Term tests | 45% |
Exam | 40% |
When you give a CFG for a language, you should explain what each variable represents (in other words, give a precise description of the set of strings that can be generated by each variable). You don't have to give a formal proof that the variables do generate that set (unless I ask you to).
When you give a PDA for a language, you don't have to give a detailed proof of correctness (unless I ask you to). You should at least give some indication of what each state represents. One very precise way to say why the PDA works is to say for each state $i$, what properties of $x$ and $y$ must be true if the PDA can be in state $i$ with $x$ on the stack after reading input string $y$. (Note that you should be capable of giving a more formal proof of correctness if you actually really understand how the PDA you built works. Doing this is an excellent way to debug your solution, but for this assignment, I don't want you to hand in such a detailed proof.)
I am asking for a detailed proof in 1(b). I would also like a detailed proof for question 4.
First class | September 5 |
Assignment 1 posted | September 10 |
Assignment 2 posted | September 21 |
Assignment 1 due | September 24 |
Thanksgiving (no class) | October 8 |
Test 1 | October 10 |
Assignment 2 due | October 15 |
Drop deadline | November 9 |
Test 2 | November 19 |
Last class | December 3 |
Approximate Date | Section |
Sep 5 | 0.1,0.2 |
Sep 10 | 0.4 |
Sep 12 | 1.1 |
Sep 17 | 1.1,1.2 |
Sep 19 | 1.2 |
Sep 24 | 1.3 |
Sep 26 | 1.3 |
Oct 1 | 1.4 |
Oct 15 | 2.1 |
Oct 17 | 2.2 |
Oct 29 | Theorem 7.16 on page 262 |
Oct 29 | 2.3 |
Oct 31 | 3.1 |
Nov 7 | 3.2,3.3 |
Nov 12 | 4.1 |
Nov 14 | 4.2 |
Nov 21 | 5.1 |
Nov 29 | 5.3 |
Updated January 3, 2008