CPS 360 Automata and Formal Language Theory
Spring, 1999
Description
Regular languages, regular grammars, finite-state
automata, transducers and relationships among them.
Context-free languages and grammars. Language recognition, parsers.
Properties of formal languages, Turing computability and undecidability.
-
Class:
-
Mon., Wed., Fri. 9:10am - 10:00am, 151 Communication Arts (Section
1, Section ID 522862)
-
Mon., Wed.. 4:10pm - 5:30pm, 2205 Engineering Building (Section 2, Section
ID 522863)
-
Instructor: John Weng
-
Office: 3115 Engineering Building; phone: 353-4388; e-mail: weng@cse.msu.edu
-
World Wide Web home page: http://www.cse.msu.edu/~weng/.
-
Office hours: Mondays and Wednesdays 5:45pm - 6:45pm, Tuesdays 4:00pm --
5:00 pm and by appointment.
-
TA: Hai Cui
-
Office: 1107 Engineering Building; phone: 353-5569; e-mail: cuihai@cse.msu.edu.
-
Office hours: Tuesdays and Thursdays 3:00pm -- 4:00pm, Fridays 3:00pm -
4:00pm and by appointment.
-
Prerequisites: Knowledge comparable to
that taught in
-
CPS 230 Algorithms and Computing
-
CPS 260 Discrete Structures in Computer Science
-
Text:
-
John C. Martin, Introduction to Languages and the Theory of Computation,
McGraw Hill, 2nd Edition, 1997.
Exams and Grading
-
Exams: Three hour exams and one final
exam.
-
Dues:
-
Homework will be due at the beginning of class. In case of a documented
crisis, late work may be accepted, within a week after the due date, on
an individual basis without penalty. Otherwise, a late penalty of 15% by
the end of the due date, and 30% for the first week. No credit will be
given for work later than a week. However, if the due date is in an exam
week, no late work will be accepted after 12pm on the due date.
-
Grading:
-
For the final composite score, each hour exam counts 15% each; the final
exam counts 30%. Homework will be count 20%, which can affect a student's
grade by as much as 2 grade points. Class participation will count 5%.
-
Final exam:
-
Section 1: Tuesday, May 4, 7:45am - 9:45am, in the same classroom.
-
Section 2: Wednesday, May 5, 5:45pm - 7:45pm, in the same classroom.
This is my personal cps360 page.
The departmental cps360 page
To Weng's Home Page: http://web.cps.msu.edu/~weng/