UMBC CMSC451/651, Automata Theory & Formal Languages, Fall 2011

Course Description


Introduction to the Theory of Computation (second edition), Michael Sipser. Thompson Course Technology, ISBN 0-534-95097-3.


There are two objectives for this course: 1) to introduce the student to the concepts in automata theory and formal languages, which form the foundations of theoretical computer science; and 2) to continue the development of the studentŐs skills in reading, writing and understanding mathematical proofs.


Final grades will be based upon homework assignments (39% total), quizzes (35% total) and the final exam (26%). The syllabus lists 13 homework assignments and 5 quizzes. However, if a homework assignment or quiz is canceled and not made up (e.g., because school is closed for snow or hurricane), the proportion of your grade from homework, quizzes and the final exam will remain the same. That is, homework will still count for 39% of your grade and quizzes 35% of your grade (each homework or quiz will have greater weight).

Your final letter grade is based on the standard formula:

0 ≤ F < 60,    60 ≤ D < 70,    70 ≤ C < 80, 80 ≤ B < 90,    90 ≤ A ≤ 100

Depending upon the final distribution of grades in the class, there may be a curve in your favor, but under no circumstances will grades be curved downward. Grades are given for work done during the semester; incomplete grades will only be given for medical illness or other such dire circumstances.


In-class quizzes are scheduled for Thursday 9/29, 10/13, 10/27, 11/10 and 12/06. Please make every effort to attend — unexcused absences will result in a grade of zero for that quiz. Each quiz will be held during the last 30 minutes of the class period. The quiz will consist of one or two questions (possibly with multiple parts) on a pre-announced topic.

Lecture and Homework Policy

You are expected to attend all lectures. You are responsible for all material covered in the lecture as well as those in the assigned reading. However, this subject cannot be learned simply by listening to the lectures and reading the book. In order to master the material, you need to spend time outside the classroom, to think, to work out the homework and understand the solutions.

Assignments are due at the beginning of lecture — this is to allow for timely grading and discussion of the homework solutions. Reasonable provisions will be made for students who are delayed by traffic, who are on travel, ... Late homework will be rejected from students who have obviously been working on homework instead of attending lecture.

Partial credit will be given for serious attempts on the homework problems. So you should simply turn in whatever you have accomplished by the beginning of class. If you cannot attend lecture when homework is due, for some honorable reason, you must make arrangements to submit your homework directly to the instructor. Do not ask another student to submit your homework for you. This is to reduce the temptation to cheat (see below).

Academic Integrity

You are permitted to work with other students on the homework problems. If you do collaborate with other students, you must acknowledge your collaborators by listing them on the last page of your homework. Also, you must write up your homework independently. This means you should only have the textbook and your own notes in front of you when you write up your homework — not your friend's notes, your friend's homework or other reference material.

You should not have a copy of someone else's homework under any circumstance. For example, you should not let someone turn in your homework. Cases of academic dishonesty will be dealt with severely. At the very least, students who submit copied homework assignments will receive a grade of 0 for that assignment — this applies both to the person who copied the homework and to the person who allowed the his/her homework to be copied.

The UMBC academic integrity policy for undergraduates and graduate students are available, respectively, at:

Final Exam

The final exam will be given on Tuesday, December 20, 10:30am – 12:30pm in Fine Arts 015 ITE 240.

Last Modified: 20 Dec 2011 10:41:25 EST by Richard Chang
to Fall 2011 CMSC 451/651 Homepage