From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 24 Aug 2008 10:14:54 -0500Subject:[570] welcome to CIS 570! You are receiving this message because you are currently enrolled in CIS 570, Introduction to Formal Language Theory. Information about the course, including the course syllabus, can be found on the course website: http://people.cis.ksu.edu/~stough/570/index.html K-State online also contains a link to this site. See you in class tomorrow (Monday) at 9:30 a.m. in N127! Regards, Alley Stoughton

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 26 Aug 2008 19:10:49 -0500Subject:[570] Section 1.1 now online Section 1.1 of the textbook and the slides is now online. We'll start with this material in class tomorrow (Wednesday). Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 27 Aug 2008 09:21:46 -0500Subject:[570] plan for help session this week At the help session this week (Thursday, 6-7 p.m., N127), I'll work through the proof of Proposition 1.1.1, which can be found on page 4 of the book. We'll also spend a few minutes trying to match people up with exercise set partners. Cheers, Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 28 Aug 2008 22:30:31 -0500Subject:[570] slides for Section 1.2 Some slides for Section 1.2 are now online, and I hope that the book version of this material will be done sometime tomorrow (Friday). We'll start covering this material after finishing with Section 1.1. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 2 Sep 2008 10:07:50 -0500Subject:[570] book version of Section 1.2 now online The book version of Section 1.2 is now online, and I've updated the numbers of the results (theorems, etc.) in the slides for Section 1.2 to match the numbers in the book version. As I've mentioned before, if you spot errors in any of the course materials, you may earn extra credit. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 2 Sep 2008 12:12:15 -0500Subject:[570] Exercise Set 1 online / plan for this week's help session Exercise Set 1 is now online. We've now covered the material relevant to Exercises 1-4. But Exercise 5 is based on material from Sections 2.1-2.2, which we obviously haven't covered yet. I'll be talking about the exercise set in class, but only once we've finished Section 2.2. Before starting to work on the exercise set, please review the rules for collaborating on exercise sets, from Section 9 of the course syllabus. Remember that if you want to work with a partner, that this partnership must be approved by me in advance. Also remember that partners must believe (and continue to believe) that they are roughly equal in their understanding of our subject material. If you have questions about any of this, please talk with me. At this week's help session (Thursday, 6-7 p.m., N127), we'll work through the proofs of Proposition 1.2.2 (a mathematical induction) and Proposition 1.2.6 (a strong induction). Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 2 Sep 2008 22:48:59 -0500Subject:[570] beginning of slides of Section 1.3 online The beginning of the slides of Section 1.3 are now online. I'll add some more before Friday's lecture. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 4 Sep 2008 15:16:39 -0500Subject:[570] rest of slides of Section 1.3 now online The rest of the slides of Section 1.3 are now online. Note that I've added a new slide to ones already covered in class: slide 7. In class tomorrow (Friday), we'll start with that slide. I hope to see you at the help session this evening (6-7 in N127). As I mentioned previously, we're doing a mathematical induction and a strong induction. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Fri, 5 Sep 2008 14:23:28 -0500Subject:[570] slides for Sections 2.1 and 2.2 now online The slides for Sections 2.1 and 2.2 are now online. I hope to have the book versions of Sections 1.3-2.2 online over the weekend. By Wednesday of next week, we should have covered Sections 2.1-2.2 and be ready to talk about Exercise Set 1. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 9 Sep 2008 20:55:49 -0500Subject:[570] Sections 1.3-2.2 of book online / plan for Wednesday's class / plan for help session Sections 1.3-2.2 of the book are now online. In class on Wednesday, we'll finish up with the slides of Section 2.2, and then talk about Exercise Set 1. At this week's help session (Thursday, 6-7 p.m., N127), we'll work through the language equality example that is at the end of the book version of Section 2.2 -- the one that involves the "difference" function. This example will help you with Exercise 5 of Exercise Set 1. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 11 Sep 2008 15:18:55 -0500Subject:[570] slides for Section 2.3 now online The slides for Section 2.3 are now online. We'll cover this material in class tomorrow (Friday). As usual, the book version will follow. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Fri, 12 Sep 2008 10:48:47 -0500Subject:[570] reminder about canceled classes and special help session As detailed in the syllabus, I'll be away from K-State and Manhattan from Thursday of next week (the 18th) through Thursday of the week after next (the 25th). I expect to be in email contact. Consequently, we'll have class on Monday and Wednesday of next week, but then won't meet again until Friday the 26th, and there won't be help sessions either next week or the following week. Because Exercise Set 1 is due on Tuesday the 30th (at 4 p.m.), and because there won't be any Thursday help sessions between now and then, I'm offering a special help session on Monday the 29th from 6-7 in N127. This is the night before the assignment is due, and I'm planning to answer any last minute questions about the assignment that people may have. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 14 Sep 2008 22:01:36 -0500Subject:[570] Slides for Section 3.1 online The slides for Section 3.1 are now online. We'll start with this material in class tomorrow (Monday). Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Mon, 15 Sep 2008 16:14:07 -0500Subject:[570] slides of Section 3.2 now online The slides for Section 3.2 are now online. We'll start with this material on Wednesday, after finishing Section 3.1. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 25 Sep 2008 22:20:44 -0500Subject:[570] reminder: class resumes tomorrow (Friday) This is just a reminder that lectures resume tomorrow (Friday). We'll pick up where we left off last week: with Proposition 3.2.9. Also, remember that there will be a special help session on Monday of next week (the 29th) from 6-7 p.m., because Exercise Set 1 is due on Tuesday the 30th at 4 p.m. In previous help sessions, I've already worked through examples that relate to all the exercises of Exercise Set 1. So if you plan to come to this special help session, it would be helpful if you could let me know in advance what you'd like me to focus on. Cheers, Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Mon, 29 Sep 2008 17:12:03 -0500Subject:[570] change to Forlan and Section 3.2 / new slides online Following class today, I decided it would be clearer to rename the "closure rules" of Section 3.2 (see slide 34) as "structural rules". (I called them closure rules originally, because the process of working through all the ways reorganizing a regular expression using them is a closure process.) But they have to do with the structure of regular expressions, and thus the new name is more appropriate. Because Forlan also used the "closure rule" terminology, I've also made this change in Forlan, creating Forlan 3.1. This will show up in the labs at some point, but using the old version (3.0) is still fine, as the change is just cosmetic. Also, the slides for Sections 3.3-3.6 are now online. We'll start covering Section 3.3 on Wednesday, after working through the final two slides of Section 3.2. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 30 Sep 2008 22:39:07 -0500Subject:[570] Exercise Set 2 online / plan for help session this week Exercise Set 2 is now online. It's due two weeks from today, and we'll talk about it in class on Friday. I'll post my model answers to Exercise Set 1 after the late-work (25% off) deadline of 4 p.m. tomorrow (Wednesday). At the help session this week, I'm going to work a problem that relates to Exercise 2 of Exercise Set 2. I'll let you know which one by Thursday morning at the latest. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 1 Oct 2008 16:05:26 -0500Subject:[570] model answers to ES1 online / plan for help session this week The model answers to Exercise Set 1 are now online. Please read them carefully. If you spot errors, you may earn extra credit. --- At the help session this week, we'll work through the example in http://people.cis.ksu.edu/~stough/tmp/help-session-10-2.pdf This is from last year's draft of the book, and will shortly be incorporated into this year's version of Section 3.2. But I wanted you to have access to it now, so that you can have everything you need to work on Exercise Set 2. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 7 Oct 2008 22:46:35 -0500Subject:[570] grading of Exercise Set 1 I've posted the Exercise Set 1 grades, and I'll hand the graded assigments back in class tomorrow (Wednesday). The overall grades should be interpreted on our standard 100-point scale: | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 100 | 92 | 84 | 76 | 68 | 60 | 52 | 44 | 36 | 28 | 20 | 12 | 0 And I graded the individual exercises using the following scales, which were formed by scaling down the 100-point scale: points: 7 (Exercise 1(2)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 7 | 6 | 6 | 5 | 5 | 4 | 4 | 3 | 3 | 2 | 1 | 1 | 0 points: 8 (Exercise 1(1)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 8 | 7 | 7 | 6 | 5 | 5 | 4 | 4 | 3 | 2 | 2 | 1 | 0 points: 15 (Exercises 2, 3, 4 and 5(a)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 15 | 14 | 13 | 11 | 10 | 9 | 8 | 7 | 5 | 4 | 3 | 2 | 0 points: 25 (Exercise 5(b)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 25 | 23 | 21 | 19 | 17 | 15 | 13 | 11 | 9 | 7 | 5 | 3 | 0 If you have questions about how I assessed your work, or about my model answers to the exercise set, please come see me. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 8 Oct 2008 08:41:30 -0500Subject:[570] K-State posting of grades As Ezzat pointed out, something went wrong when I posted the grades last night. But I believe they are posted now. Please let me know if you don't find them. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 8 Oct 2008 09:23:37 -0500Subject:[570] plan for help session this week / hint on Exercise Set 2 As I mentioned previously, at the help session this week (Thurday, 6 p.m.), we'll work through the second part (B subset Y^*) of the example in: http://people.cis.ksu.edu/~stough/tmp/help-session-10-2.pdf --- When working on Exercise 1 of Exercise Set 2, be sure to look at Exercise 1 of last year's Exercise Set 2. Also, have a look at Slide 11 from Section 3.1. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 8 Oct 2008 22:20:58 -0500Subject:[570] book versions of Sections 2.3-3.2 online The book versions of Sections 2.3-3.2 are now online. So when working on Exercise Set 2, you now have the option of reading in the book rather than in the slides. The example that we'll be talking about at tomorrow's (Thursday's) help session is at the end of Subsection 3.2.1. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 12 Oct 2008 21:16:52 -0500Subject:[570] changes/additions to Section 3.7 / Section 3.8 online I've made some moderately extensive changes to Section 3.7 of the slides, and also put the rest of the slides of that section online. We'll talk about this material in class tomorrow (Monday). I think that this approach to proving the correctness of FAs is much easier to use than what I had last year and previously. It means, however, that the model answers to last year's exams and exercise sets do things differently from this new approach. Also, I'm now writing a transition (p, x, q) as p, x -> q or x p --> q sometimes, as this seems more intuitive. Finally, Section 3.8 of the slides is now online, and we'll probably cover some of this on Monday as well. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 14 Oct 2008 20:47:23 -0500Subject:[570] Section 3.9 online / plan for help session this week The slides for Section 3.9 are now online. In class tomorrow (Wednesday), we'll cover Section 3.8 and then probably start with 3.9. At the help session this week, we'll work through the FA synthesis and proof of correctness example from this part of last year's book draft: http://people.cis.ksu.edu/~stough/tmp/help-session-10-16.pdf But we'll do it using the techniques introduced in the slides of Section 3.7 -- the ones using Lambda. Last year, I did everything with strong string induction, without Lambda. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 16 Oct 2008 11:40:44 -0500Subject:[570] Model answers to Exercise Set 2 online / Exercise Set 3 online My model answers to Exercise Set 2 are now online. As always, if you find even small errors, you may earn extra credit. Also, Exercise Set 3 is now online. We'll talk about ES3 in class on Friday. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 16 Oct 2008 22:21:09 -0500Subject:[570] Section 3.10 online Section 3.10 of the slides is now online. We'll cover some of this material tomorrow (Friday), aftering finishing up Section 3.9 and talking about Exercise Set 3. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Mon, 20 Oct 2008 14:45:10 -0500Subject:[570] Grading of Exercise Set 2 I've finished grading Exercise Set 2, and have posted the grades on K-State online. I'll hand back the graded assignments in class on Wednesday. (You may also catch me this afternoon, but I'll be working from home tomorrow (Tuesday).) If you have questions about how I assessed your work, or about my model answers, please come see me. The overall grades should be interpreted using our standard 100-point scale: points: 100 | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 100 | 92 | 84 | 76 | 68 | 60 | 52 | 44 | 36 | 28 | 20 | 12 | 0 And the individual exercises were graded using the following scales: points: 5 (Exercise 2(b)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 5 | 5 | 4 | 4 | 3 | 3 | 3 | 2 | 2 | 1 | 1 | 1 | 0 points: 15 (Exercise 3(a)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 15 | 14 | 13 | 11 | 10 | 9 | 8 | 7 | 5 | 4 | 3 | 2 | 0 points: 20 (Exercise 1) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 20 | 18 | 17 | 15 | 14 | 12 | 10 | 9 | 7 | 6 | 4 | 2 | 0 points: 25 (Exercise 2(a)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 25 | 23 | 21 | 19 | 17 | 15 | 13 | 11 | 9 | 7 | 5 | 3 | 0 points: 35 (Exercise 3(b)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 35 | 32 | 29 | 27 | 24 | 21 | 18 | 15 | 13 | 10 | 7 | 4 | 0 Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 22 Oct 2008 10:49:26 -0500Subject:[570] plan for help session this week At the help session tomorrow (Thursday, 6 p.m., N127), I'll talk about techniques for showing that an FA has as few states as possible, using Exercise 2 of last year's Exercise Set 3 as an example. Of course, the material relates to Exercise 2(d) of this year's Exercise Set 3. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 23 Oct 2008 22:40:28 -0500Subject:[570] Section 3.11 online Most of Section 3.11 is now online. I hope to put the remaining slides online tomorrow (Friday). We'll start this material in class tomorrow, after finishing Section 3.10. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 26 Oct 2008 23:28:20 -0500Subject:[570] rest of Section 3.11 now online The rest of the slides of Section 3.11 are now online. We'll be covering FA to regular expression conversion in class on Monday. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Mon, 27 Oct 2008 11:48:09 -0500Subject:[570] Mid-term Exam / Plan for Help Session this Week The Mid-term Exam will be on Wednesday of next week: November 5, from 9:30-10:20 in N127. I've put some slides concerning the Mid-term Exam, and how you should prepare for it, on the website. I'll talk about these slides and answer questions about the Mid-term in class on Wednesday. And, at the help session this week (Thursday, 6-7 p.m., N127), I'll work through last year's Mid-term Exam. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 28 Oct 2008 21:03:37 -0500Subject:[570] Exercise Set 4 / New Forlan Version (3.2) Exercise Set 4 is now online. We'll talk about it in class on Friday. I found a small bug in Forlan's implementation of FA to regular expression conversion. The fix is in Forlan Version 3.2, which is now available on the Forlan website, and should be in the CIS labs shortly. Although you don't *have* to use this aspect of Forlan when working on Exercise Set 4, there is an exercise on FA to regular expression conversion, and you might find yourself using Forlan when working on it. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 29 Oct 2008 18:19:30 -0500Subject:[570] Model answers to Exercise Set 3 online My model answers to Exercise Set 3 are now online. In case you're wondering, although the FA M of Exercise 1 only accepts strings of 0's and 1's with no 000's and no 111's, it doesn't accept all such strings. E.g., 00100 and 11011 aren't accepted by M. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 2 Nov 2008 17:07:01 -0600Subject:[570] rest of slides of Chapter 3 online / Mid-term / Help Session The rest of the slides of Chapter 3 are now online. We'll cover some of Section 3.12 in class tomorrow (Monday), after finishing up Section 3.11. Of course, the mid-term exam is on Wednesday. At this Thursday's help session, we'll work a DFA synthesis and proof of correctness example. I'll let you know which one in advance. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 2 Nov 2008 20:45:03 -0600Subject:[570] grading of Exercise Set 3 I've now finished grading the Exercise Set 3 submissions, and posted the grades. (In one case, I added a point of extra credit for the student having pointed out two typos in the slides. Remember that you can earn extra credit by finding errors in model answers as well.) I'll hand the graded assignments back in class tomorrow (Monday). If you have questions about how your work was assessed, or about my model answers to the exercises, please get in touch. The overall grades should be interpreted using our standard 100-point scale: | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 100 | 92 | 84 | 76 | 68 | 60 | 52 | 44 | 36 | 28 | 20 | 12 | 0 And the individual exercises were grading using the scales: points: 10 (Exercises 1(a), 1(b), 2(b), 2(e)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 10 | 9 | 8 | 8 | 7 | 6 | 5 | 4 | 4 | 3 | 2 | 1 | 0 points: 15 (Exercise 2(a)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 15 | 14 | 13 | 11 | 10 | 9 | 8 | 7 | 5 | 4 | 3 | 2 | 0 points: 20 (Exercise 2(d)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 20 | 18 | 17 | 15 | 14 | 12 | 10 | 9 | 7 | 6 | 4 | 2 | 0 points: 25 (Exercise 2(c)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 25 | 23 | 21 | 19 | 17 | 15 | 13 | 11 | 9 | 7 | 5 | 3 | 0 Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 5 Nov 2008 10:15:59 -0600Subject:[570] Model answers to Mid-term Exam / Plan for Help Session I've put my model answers to the mid-term exam, plus the exam itself, on the website. As always, if you find even small problems with either, you may earn extra credit. At this week's help session, I'll talk about the DFA synthesis and proof of correctness example from last year's Exercise Set 4. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 5 Nov 2008 13:31:26 -0600Subject:[570] grading of Mid-term Exam I've graded the Mid-term Exam, and posted the results on K-State online. I'll hand the graded exams back in class on Friday and/or at the help session on Thursday evening. But you can also pick up your exam from my office. If you have questions about how I assessed your work, or about my model answers to the exam, please get in touch. The exam grades should be interpreted using our standard 100-point scale: | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 100 | 92 | 84 | 76 | 68 | 60 | 52 | 44 | 36 | 28 | 20 | 12 | 0 And the individual questions were grading using the scales: points: 10 (Question 1(b)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 10 | 9 | 8 | 8 | 7 | 6 | 5 | 4 | 4 | 3 | 2 | 1 | 0 points: 20 (Questions 1(a) and 2) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 20 | 18 | 17 | 15 | 14 | 12 | 10 | 9 | 7 | 6 | 4 | 2 | 0 points: 50 (Question 3) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 50 | 46 | 42 | 38 | 34 | 30 | 26 | 22 | 18 | 14 | 10 | 6 | 0 Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 11 Nov 2008 22:31:56 -0600Subject:[570] Exercise Set 5 online / plan for help session this week Exercise Set 5 is now online. We'll talk about it in class on Friday. I'll put my model answers to Exercise Set 4 online after the deadline for late work has passed (4 p.m. Wednesday) At this week's help session, we'll work through Exercise 3 of last year's Exercise Set 5. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 12 Nov 2008 17:11:37 -0600Subject:[570] Model Answers to, and Grading of, Exercise Set 4 I've put my model answers to Exercise Set 4 on the web. And I've finished grading the Exercise Set 4 submissions, and posted the grades on K-State online. I'll hand the graded assigments back at the help session tomorrow (Thursday) evening, and in class on Friday. As always, please get in touch if you have questions about how I assessed your work, or about my model answers. The overall grades should be interpreted using our standard 100-point scale: points: 100 | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 100 | 92 | 84 | 76 | 68 | 60 | 52 | 44 | 36 | 28 | 20 | 12 | 0 And the individual exercises were graded using the scales: Grading Scales for Exercise Set 4 points: 1 (Exercise 2(c),(f)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 points: 10 (Exercise 1(a)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 10 | 9 | 8 | 8 | 7 | 6 | 5 | 4 | 4 | 3 | 2 | 1 | 0 points: 12 (Exercise 2(a)-(b),(d)-(e)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 points: 15 (Exercise 3) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 15 | 14 | 13 | 11 | 10 | 9 | 8 | 7 | 5 | 4 | 3 | 2 | 0 points: 25 (Exercise 1(b)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 25 | 23 | 21 | 19 | 17 | 15 | 13 | 11 | 9 | 7 | 5 | 3 | 0 Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 16 Nov 2008 22:39:47 -0600Subject:[570] Section 4.1 online Section 4.1 of the slides is now online. We'll cover some of this material in class on Monday, after finishing with Section 3.14. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 18 Nov 2008 20:44:47 -0600Subject:[570] slides for 4.2-4.4 online / plan for this week's help session The slides for Sections 4.2-4.4 are now online. We'll cover Section 4.2, and perhaps some of Section 4.3, in class tomorrow (Wednesday), after finishing with Section 4.1. In this week's help session, we'll work a more advanced example of how closure properties/algorithms and DFA minimization can be used to synthesize DFAs: http://people.cis.ksu.edu/~stough/tmp/help-session-11-20.pdf This example will help you with Exercise 3 of Exercise Set 5. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 20 Nov 2008 23:39:57 -0600Subject:[570] slides for Section 4.5 now online The slides for Section 4.5 are now online. We'll probably start this material in class tomorrow (Friday). Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 25 Nov 2008 11:57:29 -0600Subject:[570] Exercise Set 6 online / Handing in Exercise Set 5 Exercise Set 6 is now online. We'll talk about it in class on Monday, but feel free to ask me questions about it before then. If you need to hand in all or part of Exercise Set 5 late, you may find that the Front Office is closed before 4 p.m. on Wednesday. If that proves to be the case, slide you submission under the outer door to the Front Office, making sure it's enclosed in an envelope and is clearly labeled with CIS 570 and my name. I'll drop by the office to look for late work. Happy Thanksgiving! Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sat, 29 Nov 2008 18:42:11 -0600Subject:[570] model answers to Exercise Set 5 / Final Exam I've put my model answers to Exercise Set 5 online. As always, if you spot even small problems with them, you may earn extra credit. I've put some slides concerning the Final Exam online. We'll talk about the Final Exam in class on Wednesday. And at the help session of the last week of classes, we'll work through last semester's Final Exam. (In case you've already looked at my model answers to last year's Final Exam, I've now reworked them to use induction on Lambda for the DFA correctness proof.) And, remember that we'll talk about Exercise Set 6 in class on Monday. (I'll be putting the slides for next week online sometime on Sunday.) Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 30 Nov 2008 21:03:08 -0600Subject:[570] rest of slides of Chapter 4 now online The rest of the slides of Chapter 4 are now online. In class on Monday (tomorrow), after talking about Exercise Set 6, we'll cover Sections 4.6 and 4.7 (and maybe more). Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 2 Dec 2008 22:20:01 -0600Subject:[570] grading of Exercise Set 5 I've finished grading the Exercise Set 5 submissions, and have posted the grades for the exercise set on K-State online. I'll hand the graded assignments back in class tomorrow (Wednesday). As always, please come see me if you have questions about how I've assessed your work. The overall exercise set grades should be interpreted using our standard 100-point scale: points: 100 | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 100 | 92 | 84 | 76 | 68 | 60 | 52 | 44 | 36 | 28 | 20 | 12 | 0 And the individual exercises were graded using the following scales: points: 15 (Exercise 2) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 15 | 14 | 13 | 11 | 10 | 9 | 8 | 7 | 5 | 4 | 3 | 2 | 0 points: 20 (Exercise 1) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 20 | 18 | 17 | 15 | 14 | 12 | 10 | 9 | 7 | 6 | 4 | 2 | 0 points: 25 (Exercise 3(b)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 25 | 23 | 21 | 19 | 17 | 15 | 13 | 11 | 9 | 7 | 5 | 3 | 0 points: 40 (Exercise 3(a)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 40 | 37 | 34 | 30 | 27 | 24 | 21 | 18 | 14 | 11 | 8 | 5 | 0 Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Wed, 3 Dec 2008 14:11:01 -0600Subject:[570] plan for help session this week At the help session this week (Thursday, 6-7 p.m., N127), we'll work through the solution to Exercise 1 of last year's Exercise Set 6. This is a grammar synthesis and proof of correctness example. Next week, at our last help session, we'll work through last year's Final Exam. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Mon, 8 Dec 2008 08:47:10 -0600Subject:[570] slides for Section 5.1 The slides for Section 5.1 are now online -- I tried to upload them last night, but my internet service was temporarily out at home. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Tue, 9 Dec 2008 21:42:26 -0600Subject:[570] rest of Chapter 5 online / plan for this week's help session The rest of the slides of Chapter 5 are now online. In the help session this week (Thursday, 6-7 p.m., N127), we'll work through last year's final exam, and I'll also answer other questions about the final. This is the last help session of the course, because the final itself is a week from this Thursday. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 11 Dec 2008 15:24:26 -0600Subject:[570] help session this evening This is just to remind you that we'll be working through last year's Final Exam at the help session this evening (6-7 p.m., N127). I'll also answer questions about the final. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Fri, 12 Dec 2008 18:25:10 -0600Subject:[570] model answers to Exercise Set 6 online My model answers to Exercise Set 6 are now online. In particular, have a look at my solution to Exercise 2(b), which is a lot more efficient than the submitted solutions. As usual, even finding small problems with the model answers may earn you extra credit. I'll have the ES 6 submissions graded by Monday, and will let you know when they're ready to be picked up. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 14 Dec 2008 19:44:10 -0600Subject:[570] grading of Exercise Set 6 I've finished grading the Exercise Set 6 submissions, and have posted the grades on K-State online. You can pick up your graded assignment from my office, beginning at 9:30 a.m. on Monday (tomorrow). If I'm not in, it will be in an envelope with your name on it on the chair outside my office. As always, if you have questions about how I assessed your work, please come see me. The individual exercises were graded using the scales: points: 5 (Exercise 1(b)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 5 | 5 | 4 | 4 | 3 | 3 | 3 | 2 | 2 | 1 | 1 | 1 | 0 points: 10 (Exercises 1(c) and 2(b)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 10 | 9 | 8 | 8 | 7 | 6 | 5 | 4 | 4 | 3 | 2 | 1 | 0 points: 15 (Exercise 1(e)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 15 | 14 | 13 | 11 | 10 | 9 | 8 | 7 | 5 | 4 | 3 | 2 | 0 points: 20 (Exercises 1(a), 1(d) and 2(a)) | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 20 | 18 | 17 | 15 | 14 | 12 | 10 | 9 | 7 | 6 | 4 | 2 | 0 And the overall grades should be interpreted using our standard 100-point scale: points: 100 | A+ | A | A- | B+ | B | B- | C+ | C | C- | D+ | D | D- | F | 100 | 92 | 84 | 76 | 68 | 60 | 52 | 44 | 36 | 28 | 20 | 12 | 0 Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Thu, 18 Dec 2008 13:39:19 -0600Subject:[570] model answers to Final Exam online My model answers to the Final Exam are now online. I'll let you know when I've graded the exams and posted the results. Alley

From:Alley Stoughton <stough@cis.ksu.edu>Date:Sun, 21 Dec 2008 17:58:17 -0600Subject:[570] grades for Final Exam and course I've finished grading the Final Exam and have posted the results on K-State Online. And I've copied the final course grades over to iSIS and submitted them. If you would like to stop by my office to pick up your exam, or talk about how I graded your exam, please get in touch. I've enjoyed teaching this class, and I wish all of you a wonderful semester break! Cheers, Alley

Alley Stoughton (Alley.Stoughton@gmail.com)