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