CSCI 6610		  Automata and Formal Languages		     Spring 2004

				Reading Assignments

Date 		Sections in Sipser unless noted otherwise; see the link
		  (from the main course page) to "Material on reserve in 
		  the Science Library" for HU1 etc.	

--------------------------------------------------------------------------------

01-12		Chapters 0, 1, 2, 3 and 4 (review of prerequisite topics)

01-13		Section 5.3

01-15		Section 5.1 through Thm. 5.4

01-20		Section 5.1, remainder

01-27		Section 5.2 (review of prerequisite topic), and
		HU1 Sections 8.6 and 8.7

01-29		Section 6.3

02-02		Section 7.1

02-03		Section 7.2 (and if not familiar with CYK algorithm, used to
		prove Thm. 7.14 in Sipser, HU1 pp. 139-141 or HU2 Sec. 7.4.4).

02-10		Section 7.3

02-12		Section 7.4 through Thm. 7.29

02-17		Section 7.4 through Thm. 7.30

02-24		Section 7.4, remainder

03-01		Section 7.5 through Thm. 7.34

03-02		Section 7.5 through Thm. 7.35

03-04		Section 7.5, remainder

03-23	        Section 8.1

03-29	        Section 8.2

03-30	        Section 8.3 through Thm. 8.8

04-01	        Section 8.3 through Thm. 8.10

04-05	        Section 8.3 through Thm. 8.11

04-06	        Section 8.4

04-08	        Section 8.5

04-12	        Section 8.6

04-15	        Section 9.1 through Cor. 9.7

04-19	        Section 9.1 through Cor. 9.13

04-20	        Section 9.1, remainder

04-26	        Section 9.3