CSE 457/598 Fall 2012 
Theory of Formal Languages

CSE 457 is a second course on formal languages, following CSE 355. It concerns theory of grammar, methods of syntactic analysis and specification, types of artificial languages, relationship between formal languages and automata.

Students are expected to have completed CSE 355 or equivalent with a grade of C or better. It is strongly recommended that you have earned at least a B in CSE 355.

CSE457/598 does not fulfil any deficiency requirement for CSE 355 for the graduate programs.

CSE 457/598:  Theory of Formal Languages  
Schedule Line
85170 (457), 85673 (598)  
Class Meeting Time:
    T Th 1:30-2:45 

    CDS 234


Office Hours:

CSE 355 (Intro Theory of Computation)
Special Needs: If you are entitled to extra accommodation for any reason (such as a disability), we make every reasonable attempt to accommodate you. However, it is your responsibility to discuss this with the instructor at the beginning of the course. 
Academic Honesty: Work in this course, unless explicitly stated in writing to the contrary, is to be an effort by the individual student. It is not acceptable to use work other than your own without full attribution and acknowledgment. While you are welcome to discuss problems with others, it is not acceptable to discuss solutions with them. If in doubt about anything related to academic integrity, see the instructor.
Required Text: Jeffrey Shallit, A Second Course in Formal Languages and Automata Theory , Cambridge University Press, 2008.
Recommended Text: Michael Sipser, Introduction to the Theory of Computation, Second Edition, Thomson, 2006. (Yes, there is a third edition of Sipser, but it is brand new and I have not seen it. We'll use the second edition as background material.)