CSE 457/598 Fall 2012
Theory of Formal Languages Syllabus
This document is available at http://www.public.asu.edu/~ccolbou/src/457syllabusf12.html

CSE 457 is a second course in the theory of formal languages.

Topics to be Covered:

The primary learning objectives of CSE 457 are to address two objectives of the CS major in more detail than is treated in CSE 355, namely (1) apply knowledge of computing and of mathematics appropriate to Computer Science, and (2) apply mathematical foundations, algorithmic principles, and computer science theory in the modeling and design of software and demonstrate the comprehension of the tradeoffs involved in design choices.

The grading for undergraduates in the class is as follows:

The pdf file for the final appears here and the tex source for it is here.  

The grading for graduate students in the class is as follows:


Undergraduates preferring the graduate course workload should speak to the instructor to see if the requirements can be varied to accommodate their interests. Approval for undergraduates to pursue projects must be obtained by the end of September at the latest, or the student will be assumed to be following the undergraduate requirements.

General Course Information:

Students may discuss homework assignments with their classmates; however all work turned in is expected to be that of the individual. If you have any questions regarding appropriate collaboration please see the instructor. Penalties for plagiarism and other forms of academic dishonesty range from a negative 100% on the offending item to failure in the course with a transcript designation of academic dishonesty, and for repeat offenses can result in expulsion from the program.

We will follow the text closely, but the emphasis on the tests will be the same as that in the lectures. Hence, although class attendance is not required, it is highly recommended.