CSCI 470 Spring 2015
Languages and Machines
Archived Class
Charles Cusack
Computer Science
Hope College
Main
Schedule
Grading
Gradebook
Homework

Policies
Advice
College
    Policies

Notes
Programs
Tutorials

CSCI 385
MATH 160
Others

Admin

Course Information


Time     1:00-1:50pm MW
Location     VNZORN 142

Instructor     Charles Cusack
Email     cusack@hope.edu
Office     VanderWerf 233
Phone     295-7271
Office Hours       2-3pm Mondays and Wednesdays

Textbooks Introduction to the Theory of Computation, Third Edition, Michael Sipser, Cengage Learning, 2013.
  • Solutions: The textbook contains solutions to some of the Problems and Exercises at the end of each chapter—they are indicated with the letter "A" to the left of the problem number.

Resources

For general advice on how to approach learning, see the Advice page.

This course follows a progression from one topic to the next. In light of this, here are some important tips:

  • Do not get behind. Everything in this class builds from beginning to end. If you get behind or do not understand something you will not be able to move forward. You cannot understand chapter 2 unless you understand chapter 1, and you cannot understand chapter 3 unless you understand chapter 2, etc.
    • If you get behind, get caught up immediately.
    • If there is material you don't understand, get the necessary help to learn it as quickly as possible.
  • Do the assigned reading. If you do not do the reading, you will be lost during class.
  • Ask questions. If you do not understand the material or a homework problem, ask about it during class or send me an e-mail.


Topics We will cover the following topics
  1. Mathematical Foundations
  2. Finite Automata
  3. Regular Languages
  4. Context-Free Languages
  5. The Church-Turing Thesis
  6. Decidability
  7. Reducibility
  8. Time Complexity