CSCI 6610		  Automata and Formal Languages		     Spring 2004 

Time/Room: 3:35 - 4:25 Mon., and 3:30 - 4:45 Tues. & Thur.	        306 Boyd

Instructor:   R. W. Robinson	    	   Office Hours: 2:30-3:30 Mon.
              423 GSRC					 2:00-3:00 Tues. & Thur.
              542-2911					 AND by appointment
              rwr@cs.uga.edu			  

Class Web Page: http://www.cs.uga.edu/~rwr/cs6610.html
	Links to all basic course information/updates on reading assignments, 
	homework sets, etc.;  corrections, hints, announcements, e-mail queries
	(made anonymous) and answers will be accessible by links from the class
	web page.

Text:	Introduction to the Theory of Computation, by Michael Sipser (NOTE: 
	second printing or later; click on "WARNING" from class web page.)

Prerequisite:	CSCI 2670 Theory of Computing is a prerequisite course which is
		fully relied on: click on "Prerequisites" from class web page.)

Assessment:	Homework	35%
                Midterm Test 	21%
                Final Exam	44%

Schedule:	Mid-term Test   	Thur. Mar. 18, in class
		Last Class		Thur. Apr. 29, Monday schedule 
		Final Exam		Thur. May  6, 3:30-6:30 PM
		Written homework due 	Jan. 23, Feb. 6 & 20, Mar. 5 & 29,
					Apr. 13 & 27
Topics (times approximate):

	1. Review (chapters 0-4; 1 week);
	2. Reducibility (chapter 5; 1 week);
	3. Turing reducibility (section 6.3; 1/2 week);
	4. Time complexity (chapter 7; 5 weeks);
	5. Space complexity (chapter 8; 3 weeks);
	6. Intractability (chapter 9; 2 1/2 weeks);

Homework and Honesty Policy:

	   Written homework sets will be due in class almost every other
	Thursday of the semester as noted in the schedule above.
	   Written solutions to homework problems must be presented in
	clear logical order and using complete English sentences.
	   The Computer Science Department policy on academic honesty 
	will be in effect; click on "Academic Honesty" from the class
	web page.
	   All the written work you turn in must be your own, completed
	on an individual basis.  This is not meant to exclude the practice
	of group study by students in the course.  However each student
	must compose his/her own answers to homework problems.  Each student
	should understand his/her own answers, and under no circumstances
	copy those answers from some other person or source.
	   Students are encouraged to consult with the instructor whenever
	help is needed.  In addition to the instructor's scheduled office
	hours, students can make appointments for other times.
	   Often e-mail is a convenient way to have short questions answered
	or to make an appointment.