CS 5800 (Spring 2024)

 
 

Theory Foundations

 

[ Courses ] [ syllabus ] [ class list ] [ references ] [ projects ] [ assignments ]

 

    

 

Instructor
Dr. Elise de Doncker
B-240 CEAS
Phone: (269) 276-3102 (Office), 276-3101 (Dept. office), 276-3122 (fax)
(but preferably contact me by e-mail:)
elise [dot] dedoncker [at] wmich [dot] edu

Office hours
W 13:00 - 14:00
Please let me know if you plan on coming; other times by appointment.

Prerequisites
CS 3310

Catalog Description
The course gives an introduction to the theory of computation emphasizing automata, grammars and their applications in the specification of languages and computer systems, models of computation, and complexity. Analytic and problem solving abilities will be reinforced, and concepts covered in the course will be applied to real-world problems.

Texts

  • Required:
    • Languages and Machines, Thomas A. Sudkamp, 3rd edition, Addison Wesley (ISBN: 0-321-32221-5)
  • Recommended:
    • Introduction to Automata Theory, Languages and Computation, John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman, 2nd edition, Addison Wesley (ISBN: 0-201-44124-1)
    • Automata, Computability, and Complexity: Theory and Applications, Elaine A. Rich, Pearson Prentice Hall (ISBN: 0-13-228806-0; ISBN: 978-0-13-228806-4)

Grading
There will be two tests and a final examination. Tentatively, the tests will carry about 45% of the grade, the lowest of the two tests will be dropped.
Other graded work will include assignments, a project and presentation. Problems with cheating or class attendance may lead to a failing grade.

The following scale will be used to determine your final grade on the basis of your final average:
    A: 92.0 - 100.0,  BA: 88.0 -  91.9,  B: 82.0 -  87.9,  CB: 78.0 -  81.9,  C: 72.0 -  77.9,  DC: 68.0 -  71.9,  D: 60.0 -  67.9,  E:  below  60.0.

Grader: Edwin Jose, edwin.jose@wmich.edu

Academic Integrity Policies
You are responsible for making yourself aware of and understanding the policies and procedures in the Undergraduate Catalog that pertain to Academic Integrity. These policies include cheating, fabrication, falsification and forgery, multiple submission, plagiarism, complicity and computer misuse. If there is reason to believe you have been involved in academic dishonesty, you will be referred to the Office of Student Judicial Affairs. You will be given the opportunity to review the charge(s). If you believe you are not responsible, you will have the opportunity for a hearing. You should consult with me if you are uncertain about an issue of academic honesty prior to the submission of an assignment or test.
Additional instructor's notes: The above policy on academic dishonesty includes cheating by submitting tests, programming assignments or projects where the work (even in part) has been downloaded from the internet; this also applies to text in assignments and project reports. Collaboration among students on submitted work is not allowed. If you are caught there will be consequences.

Useful links

[ Courses ] [ syllabus ] [ class list ] [ references ] [ projects ] [ assignments ]