COT 5420 -- Theory of Computation I
smithg @ cs.fiu.edu
Office Hours: Mondays and Wednesdays, 3:30 -- 4:45
I'll usually be happy to meet at other times. Send e-mail, call, or drop by.
Introduction to the Theory of Computation
by Michael Sipser.
The final exam is scheduled for Wednesday, December 15, from 3:30 to 6:15 PM. It will be a closed-book exam.
. Not to hand in.
. Due Monday, September 27.
Homework 1 Bonus Problem Solution
. Due Monday, October 18.
Homework 2 Bonus Problem Solution
. Due Monday, November 8.
. Due Monday, November 22.
Homework 4 Bonus Problem Solution
. Due Wednesday, December 8.
Homework 5 solutions
Here is a link to Alan Turing's 1936 paper,
On computable numbers, with an application to the Entscheidungsproblem
Here's a Java version of the proof that the Halting problem is undecidable:
Some resources for
Michael Sipser's Fall 2002 Theory of Computation course
. (Quite different from our course.)
Geoffrey Smith's home page