UMBC CMSC451h, Automata Theory & Formal Languages, Spring 2010

Course Description


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


The most important prerequisite for this course is CMSC 203 Discrete Structures. You will be expected to read, write and understand mathematical proofs. Although CMSC 202 Computer Science II is formally a prerequisite for this course, this prerequisite is mostly for programming maturity rather than technical content. In particular, no programming projects will be assigned.


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.

Honors Objectives

As an honors course, this class has a higher expectation of the students' preparation in discrete mathematics. The homework assignments will be more challenging and the class will move at a quicker pace through the basic material at the beginning of the semester. Honors classes should also have more student participation in classroom discussions. You can find the "Characteristics of an Honors Course" in the Honors College website.


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).

The final letter grades are 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 2/25, 3/11, 4/1, 4/15 and 4/29. 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. Late homework will not be accepted — 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 is available at

Final Exam

The final exam will be given on Tuesday, May 18, 10:30am – 12:30pm in Fine Arts 015.

Last Modified: 24 Jan 2010 22:46:34 EST by Richard Chang
to Spring 2010 CMSC 451h Homepage