The course meeting time is 9:30MWF. in Crabtree M3. The text for the course is "Languages and Machines, An Introduction to the Theory of Computer Science", Second Edition, Thomas A. Sudkamp. We will cover Chapters 2-9 and parts of 11, 14 and 15.
Grades will be assigned with approximately the following weights:
Some useful references are at http://al.cs.engr.uky.edu/~lewis/cs-theory/text/languages/langnote.html . An on-line text on similar material is http://al.cs.engr.uky.edu/~lewis/cs-theory/text/contents.html. A Java-based tool-kit we'll be looking at: http://turing.sunyit.edu/JCT/.
From the text: 1.18, 1.25, 1.31, 1.37, 1.39. Due Sept. 23.
From the text: 2.4, 2.6, 2.8, 2.13, 2.19, 2.29; Prove identity 11 from table 2.3.1. Due Oct 5.
From the text: 3.2, 3.3, 3.6, 3.9, 3.22 (see 2.19), 3.42, 3.47. Due Oct 16.
From the text: 4.4, 4.11, 6.6, 6.34. Due Oct 30.
From the text: 6.30, 6.40, 7.2, 7.6, 7.11: a,b,d, 7.12, 7.16, 7.20. Due Nov 16.
From the text: 7.19, 8.3: a, c, d, g, 8.6, 8.13, 8.17: d,e, 8.28, 9.7, 9.18 Due Dec 2.