Syllabus - CS 162 - Formal Languages and Autamata Theory
Michael T. Goodrich
Lectures: TTh 12:30-1:50pm,
Office hours: TTh, 2:00-3:00pm, DBH 4091
- Course Description.
Formal aspects of describing and recognizing languages by grammars and automata.
Parsing regular and context-free languages.
Elements of computability; Turing machines, random access machines,
undecidable problems, NP-completeness.
- Coursework. Coursework will consist of weekly homeworks,
midterms, and a comprehensive final exam. The overall grade
will be determined 20% from homework, 25% from each midterm, and
30% from the final.
Group work on homeworks is permitted, but each
student must list his or her collaborators in writing for each problem.
If a student turns in a solution without listing
the others who helped produce this solution,
this act will be considered cheating (for it is plagarism).
Late homework assignments will not be accepted.
- Exam policy.
Exam performance must be 100% individual effort; no collaboration
is allowed on exams. Any collaboration or copying on exams
will be considered cheating.
In addition to the procedures of the
Cheating Policy, students caught cheating on exams will be given a
failing grade in the class.
- Laptop policy.
Open laptop computers are not allowed during lectures.
Here's one reason why.
Here is another.
- Text. The course text will be
Introduction to the Theory of Computation,
by Michael Sipser. (Do not use the International Edition.)
- Week 1:
Regular Languages, finite automata, DFAs, NFAs.
- Week 2:
Regular expressions, Nonregular languages.
Context free grammars.
Equivalence of CFGs and PDAs.
Chomsky Normal Form (CNF).
Parsing (CYK Algorithm).
More NP-complete problems.
Copyright © 2017
Michael T. Goodrich, as to all lectures.
Students are prohibited from selling
(or being paid for taking) notes during this course to or by any
person or commercial firm without the express written permission of the
professor teaching this course.