CSE 457 Spring 2010
Theory of Formal Languages Syllabus
This document is available at http://www.public.asu.edu/~ccolbou/src/457syllabuss10.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 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 16 February 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.
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.