Instructor

Rhys Price Jones

Contact

Office: 7B-2250 (Gannett)

Phone: x5-5866

Email: rpjavp@rit.edu

Web: http://www.cs.rit.edu/~rpj

Office Hours

TR 3.00 - 4.00

Description

At the end of this course, you should be able to answer such questions as "Does string foo have property bar?" by correctly choosing one of :

• Yes

• No

• I will write a program to correctly answer the question for this particular bar and arbitrary foo

• I will write a program to correctly answer the question if the answer is "yes"

• Not only will I not write the program, but I will prove that nobody else can either

We will spend almost all of the semester setting up the required mappings between specifications of problems and classes of machines which may solve them.

Course Page

http://www.cs.rit.edu/~rpj/courses/theory/Syllabus.html (this page)

Prerequisites

As per catalog

Text

Michael Sipser: Introduction to the Theory of Computation, PWS, 1996.

Grading

Your grade will be based on the following three components:

• Weekly homework assigned from the exercises in the book (45%)
• Three exams (45%)
• Programming exercises (10%)

Assignment 1

Assignment 2

Assignment 3

Assignment 4

Assignment 5

Assignment 6

Assignment 7

Assignment 8

machines.ss