You will learn how to define language by an abstract mathematical structure and be introduced to a variety of proof techniques. Most theorems will be carefully gone over in class. In some cases, long and tedious proofs are omitted due to time constraints. Numerous examples are provided, in class and as homework, as illustrative applications of the underlying theory. The emphasis is placed on ideas and understanding rather then on undue formalism and rote memorization.
Attendance is taken at the beginning of each class.
Please notify the instructor in advance of any anticipated absence whenever possible. It is your responsibility to make up any material missed whenever you are absent from class. Assignments are taken from exercises in the text. The homework problems are always covered in class and you are expected to read the section of text corresponding to the homework assignment. Questions about the problems should be raised at the next class meeting.