Ricardo Villamarín-Salomón
PhD candidate, Department of Computer Science, University of Pittsburgh
HomeResearchTeachingPhD ProgressLinksCS1502 - Fall 2006

CS1502: Formal Methods in Computer Science

Fall 2006

Updates & Announcements
Mini Schedule
General Information
Important Guidelines


Updates & Announcements

Dec. 11, 2006 

No recitation this Friday, Dec. 15th since that is the day of your final exam.

Good Luck!

   
Nov. 25, 2006 

Some of you have made this mistake in your homeworks with JFLAP:

Wronginstead ofRight

That is, a transition with several symbols separated by comma is created (wrong), instead of creating one transition for each symbol (right).

For example, creating one transition using 1,2 is wrong, so you have to create two transitions: one for 1 and another for 2.

   
Nov. 25, 2006 

You can see the greek letter epsilon in JFLAP 6.0 instead of lambda by changing the preferences:

Thanks to Eduardo Gonzalez for pointing this out. This was not possible in version 4 which is the one I was using.

   
Nov. 15, 2006 

Today's office hours have been moved to friday at 4:30pm

This change is only for today.

   
Nov. 01, 2006 

Do not forget to use JFLAP for your exercises in the book by Sipser:

  • See the download links here
  • Review the submission guidelines here

Version 4.0 is a "very stable version" according to the webpage, but you can download version 6.0 if you prefer, which has been already released in September (i.e. it is not a beta version)

   
Oct. 24, 2006 

Please read the updated "Important Guidelines" regarding the following message in your grade report:

??? We could not determine whether your __________ was correct: The Grade Grinder timed out while checking your answer ...

   
Oct. 24, 2006 

If you find that any of the files included with your distribution of the LPL software is corrupt, you can download an update (programs + exercise files) from here:

http://atropos.stanford.edu/cgi/WebObjects/StudentPages

You will need your email and book ID.

If, for some reason, that does not solve your problem, you can always contact me (but obviously, at 2:00am on friday there is not too much I can do for you) so that I can send you a non corrupt file.

   
Oct. 20, 2006 

We did both recitations in classroom 5313 because an event was held in our regular classroom. I was not notified of this and therefore I could not make an announcement with anticipation

   
Oct. 18, 2006 

Dr. Ramirez communicated us that you should use this link to sign up for an advising session:

http://www.cs.pitt.edu/~ramirez/advising/login.php

   
Oct. 10, 2006 According to Dr. Daley you can turn in/submit the exercises of Chapter 9 for the upcoming homework (HW 5). If you did not receive full points in homework 4 for questions in that chapter, do not worry, I will grade those questions again and I will update your grade accordingly.
   
Oct. 05, 2006 I have updated the "Important Guidelines" section.
   
Sep. 25, 2006 Mr. Allen Stern (ams91 AT pitt DOT edu) is the undergrad TA for the course. You can see his office hours here: http://www.cs.pitt.edu/intranet/helpdesk.php
   
Sep. 01, 2006 Recitation at 12pm had to be cancelled due to a problem in the building
   
Aug. 31, 2006 The program called "Submit" that comes with your book has a bug, you must download the latest version from the book's website: http://www-csli.stanford.edu/LPL/Support/
   
   

Mini Schedule

Dec. 15, 2006 No recitation. Final Exam 2:00pm - 3:50pm
   
Dec. 08, 2006 Quiz #3
   
Dec. 01, 2006 Section 1.3 of ITC (Sipser)
   
Nov. 24, 2006 No recitation. Thanksgiving recess.
   
Nov. 17, 2006 Sections 1.1-1.3 of ITC (Sipser)
   
Nov. 10, 2006 Introduction to JFLAP
   
Nov. 03, 2006 Quiz
   
Oct. 27, 2006 Chapters 13 and 18
   
Oct. 20, 2006 Chapters 11 and 12
   
Oct. 13, 2006 Chapter 10
   
Oct. 06, 2006 Chapters 9 and 10
   
Sep. 29, 2006 Chapters 17 and 9
   
Sep. 22, 2006 Chapters 8 and 17
   
Sep. 15, 2006 Chapters 6, 7 and 8
   
Sep. 08, 2006 Chapters 1, 2, 4 and 6
   
Sep. 01, 2006 

Introduction to the Software used in the course

   
   

General Information

Recitations

  • On Fridays, in classroom 5129
  • 11:00-11:50am
  • 12:00-12:50pm

Office Hours:

  • Fridays: 1:30-4:30pm
  • Wednesdays: 6:00-9:00pm
 

Books & Software:


Submissions, Turn ins, and Communication Guidelines

General

Any paper and pencil assignment must be turned in at the beginning of each recitation, and any electronic submission must be sent before the 11am recitation.

If you handwrite any part of a homework, please be sure that your writing is legible.

If you want to turn in a written homework before the due date, please feel free to drop it in my mailbox: 306 (sixth floor) and notify me by email. This last specification is mandatory. I will consider late any homework put in my mailbox without a notification by email (no exceptions) and either substract points or completely disregard the submitted homework.

LPL

  • There are LPL Exercises that must be submitted using the software that comes with the book, please use the email address rmv4 AT pitt DOT edu as the instructor's email.
      
  • All the files for a specific homework must be submitted at once. Please do not submit your homeworks in two or more parts. Of course if you forget any file or if you realize that you made a mistake, you can submit the files in question, but try to minimize the occurrence of this situation.
      
  • If you find that any of the files included with your distribution of the LPL software is corrupt, you can download an update (programs + exercise files) from here:

    http://atropos.stanford.edu/cgi/WebObjects/StudentPages

    You will need your email and book ID.

    If, for some reason, that does not solve your problem, you can always contact me (with reasonable anticipation) so that I can send you a non corrupt file.
      
  • If you receive this message in your automatic grade report:

    ??? We could not determine whether your ___________ was correct: The Grade Grinder timed out while checking your answer ...

    You must correct what you did and come up with a correct solution to the specific question. I will consider as wrong any part of your answer that has that message.

Sipser

For the part of the course that uses the book by Sipser, you must use the software JFLAP (please see above) to create:

  • Any finite state machine
  • Any Grammar
  • Any regular expression

However:

If you are assigned a proof, you will not be able to use JFLAP, instead you may use paper and pencil or (better yet) create your proof in Microsoft Word and send it to me by email (see below).

Please use the following naming conventions for your JFLAP files:

<last name>.ex<chapter>.<exercise number>[<subnumber>].jff

For example, if your name is Jacob Williams, you can have files named in this way:

  • Williams.ex1.15a.jff
  • Williams.ex1.15b.jff
  • Williams.ex1.12.jff

In the first two cases you are submitting parts a) and b) respectively of exercise #15 in chapter 1, while in the third case you are submitting the entire exercise #12 in chapter 1 which does not have any subpart.
(Note: the exercise numbers come from the 1st edition of Sipser, numbers may have changed in the 2nd edition)

Once you have finished all your JFLAP files, pack them in a ZIP or GZIP file and send the packed file to rmv4 AT pitt DOT edu. Please name your packed file in this way:

<your last name>,<your first name>.HW<number>.<zip | tar.gz>

For example: Williams,Jacobs.HW8.zip

Means that you are submitting your homework #8 in zip format.

Communication by email

If you need to communicate with me by email, please follow these simple rules:

  • Any email message must be sent to rmv4 AT pitt DOT edu
  • The subject of your mail must have the prefix [CS1502] (so that I can easily identify you). For example:
    [CS 1502] About the exam
  • Be sure that your email client (or webmail) is using your name and not only your email address in the From field of your message. If your name is not in the From field, please include it in the message body. If I do not see your name in the email (either in the From field or in the body) I will not answer you (sorry about that)

If you want to change the From field of your Pitt account's webmail, please do this:

  1. Login to Pitt's webmail:

    https://webmail.pitt.edu/webmail/src/login.php
      
  2. Click on Options and then on Personal Information
  3. Put your name in the field Full Name
  4. Click the button Submit