CIS 570 E-mail Archive


From: Alley Stoughton <stough@cis.ksu.edu>
Date: Sun, 24 Aug 2008 10:14:54 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0500
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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 -0600
Subject: [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)