COSC 157
Formal Languages and Computability
Course Homepage
Fall, 2001
This is a Web site for one semester of 157.

Course Description:
The hierarchy of formal languages, automata, and grammars with application to parsing. Limitations of computational processes and the implications of the Church-Turing thesis.

Course Syllabus

Homework Assignments

Finals Week Office Hours
I'll be in my office M 9-11, W 11-1, and Th 9-11.

List of topics for final exam
In addition to these recent topics, you should also be familiar with the material from the first test, and the second test.

Millennium Prize for P v.s. NP
The Clay Mathematics Institute has offered a one million dollar prize for a solution to the P v.s. NP problem.

This site created and maintained by Dr. Michael C. Slattery of Marquette University.
You can contact me at mikes (a) mscs.mu.edu.