Important Note The assignments in this course are obligatory
and part of the examination of the course.
They are to be thought, written and submitted individually.
The course has, as part of the examination, obligatory weekly assignments to be done individually.
There will be 7 assignments and the total amount of points for all assignments together will be 64 points.
To pass the assignment part of the course one needs to get at least 50% of the sum of the points of all the weekly assignments together, that is, one needs to get at least 32 points in total.
Important NoteBe aware that assignments are part of the examination. Hence, standard procedure will be followed if cheating is suspected. Please read carefully the page on cheating and its consequences.
Who should submit?Chalmers: All the students who are registered in the code TMV027 and have NOT passed the assignments part before.
GU: All the students who have registered or re-register to the course in VT2013 or later, and have NOT passed the assignments part before.
Earlier students (registered in TMV026 or in DIT321 before VT2013) are encourage to re-register to the new version of the course. If they chose not to, they shall NOT submit. Instead their exam will be 7.5pts and not 6pts like for those who need to do the assignments.
When to submit?Links to the assignments with preliminary deadlines:
Each assignment will be made available not later than 1 week before the deadline.
- Deadline Thursday 2/4 23:59: Assignment-1 on Formal proofs (10 pts);
- Deadline Monday 27/4 23:59: Assignment-2 on DFA and NFA (10 pts);
- Deadline Monday 4/5 23:59: Assignment-3 on epsilon-NFA and RE (10 pts);
- Deadline Monday 11/5 23:59: Assignment-4 on Regular languages (10 pts);
- Deadline Monday 18/5 23:59: Assignment-5 on Context free-grammars (10 pts);
- Deadline Monday 25/5 23:59: Assignment-6 on Context-free languages (10 pts);
- Deadline Friday 29/5 23:59: Assignment-7 on Turing machines (4 pts).
What to submit?
Failure to comply with any of these requirements invalidates a submission, in part or in full.
- Each student must write his/her name, personal number and e-mail address in the assignment to be submitted, even if the submission is done completely electronically.
- Each student must have thought and written the solution on his/her own.
- One can write either in English or in Swedish (English preferable, errors in the English will NOT influence the points one gets).
- Any non-trivial claim must be supported with a justification/proof or with the proper reference to the book/slides of the course.
- Solutions should be presented in a coherent and clear manner.
- If someone writes the solution by hand, he/she should make sure the hand-writing is legibly: what the assistant cannot read he/she cannot grade!
- If someone takes a picture of a hand-writing solution, he/she should make sure the outcome is legibly: what the assistant cannot read he/she cannot grade!
How to submit?The course will use (a new version of) the Fire system to administrate the submissions.
Fire Account: In order to submit the assignments each student MUST open an account in Fire: click on "register as a student" and fill in the requested information. One MUST supply the personal number!
After that, one will get an email with a confirmation link. After clicking on that link the account is ready to use and one can log-in to it.
This must be done only once, before one submits the first assignment.
Submission: EACH submission can be done in two different ways:
Whatever method a student has used for the submission, once the assignment has been corrected the student will get an email with the points he/she has got in it and some comments from the grader.
- Electronically using the Fire system. One should attach all necessary files to the submission. Only pdf, jpg or plain text are valid formats. Observe that scanned versions of hand-written solutions are valid electronic solutions.
One should NOT send doc files or any file format which cannot be open from any system!
This is the preferred submission method since it is secure and simple.
- Personally to any of the teachers of the course in connection to the lectures, exercises or consultation times, or at Ana's office (room 6116 of the D&IT building).
Once the teacher in question gets to his/her office, he/she will inform the Fire system that a submission has been received. The student will then get an email confirming the submission.
Important Notes when Using this Submission Method:
- Each student should create a Fire account before he/she submits any assignment to a teacher. If the teacher cannot find the student in the system he/she cannot register the submission and it will be discarded.
- A submission is actually NOT done until the teacher indicates to the system the submission was received.
- A student should contact the teacher immediately if a few hours after the student has submitted personally to the teacher, the student has NOT received any confirmation mail from the system.
- The teacher team takes NO responsibility for lost submissions before they are registered in the system. If a student wants to make sure no submission is lost he/she should consider making an electronically submission instead.
- If a submission doesn't contain the necessary identification information (see information on "What to submit"), it will automatically be discarded.
- If a submission consists of more than 1 page, then the pages must be stapled, or securely clipped, together, in the top-left corner only (no plastic-pocketed, rolled, folded, taped, or glued submissions). The teacher team takes NO responsibility for lost pages.