Syllabus  CS 162  Formal Languages and Autamata Theory
Michael T. Goodrich
http://www.ics.uci.edu/~goodrich/teach/cs162/
Lectures: TTh 12:301:50pm,
ICS 174
Office hours: TTh, 2:003:00pm, DBH 4091
 Course Description.
Formal aspects of describing and recognizing languages by grammars and automata.
Parsing regular and contextfree languages.
Ambiguity, nondeterminism.
Elements of computability; Turing machines, random access machines,
undecidable problems, NPcompleteness.
 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
ICS
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,
Third Edition,
by Michael Sipser. (Do not use the International Edition.)
Tentative Schedule
 Week 1:

Regular Languages, finite automata, DFAs, NFAs.
 Week 2:

Regular expressions, Nonregular languages.

Week 3:

Context free grammars.
Pushdown automata.

Week 4:
Midterm I

Equivalence of CFGs and PDAs.
Chomsky Normal Form (CNF).

Week 5:

Noncontextfree languages.
Parsing (CYK Algorithm).

Week 6:

Turing machines.
ChurchTuring Thesis.

Week 7:

Decidability.
Rice's Theorem.

Week 8:
Midterm II

Time complexity.
NPcompleteness.
Cook's Theorem.

Week 9:

Polynomialtime reductions.
More NPcomplete problems.

Week 10:
Space complexity.

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