CPS 360 Automata and Formal Language Theory

Spring, 1999


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.
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
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.
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.
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
 Back To Weng's Home Page: http://web.cps.msu.edu/~weng/