CSE 355 Fall 2015
Introduction to the Theory of Computation Syllabus
This document is available at http://www.public.asu.edu/~ccolbou/src/355syllabusf15.html
CSE 355 is introductory course to
the theory of computation.
The focus is on the capabilities of "simple" machines, and the problems that they can compute.
The primary course objectives follow:
Students who complete this course can
 formulate correct finite state machines to solve algorithmic problems.
 formulate precise specifications of formal languages.
 reason about the ability of machines to recognize formal languages.
 reason about the relative computational power of machine models.
 understand the concept of a universal computing device (the ChurchTuring Thesis)
 formally prove precise statements about properties of machines and languages.
 understand (some) uses of finite state machine models in areas such as network protocols, mutual exclusion, logic programming, and circuit optimization and design.
Topics to be Covered:
(The specific syllabus will be made more explicit as the semester
progresses.)
 Sipser Chapter 0 (introduction and review)  read on your own
 Sipser Chapter 1  done.
 Sipser Chapter 2 (only some material on DCFLs covered)  done.
 Sipser Chapter 3  done.
 Sipser Chapter 4  done.
 Sipser Chapter 5, Section 5.1  done.
The grading for the class is as follows:

Homework Assignments  five at 4% each  20%
Always due at the start of class.
Late submissions may not be accepted; and if accepted, may be penalized for lateness.
Written documentation detailing medical treatment or a family emergency is required in order to make alternate arrangements for homework submission.
Homework 1
out 02 September, due 16 September, return 25 September.
Solutions are here.
Grades out of 50 are: 5 6.5 10
12 16 17 18 18 19 20 21.5 22 22 23 25.5 26 27 27 27.5 28.5 29
29.5 30.5 30.5 31 31 31.5 32.5 33 34 34.5 34.5 35 35 35 36 36.5 36.5 37
37.5 37.5 38 38.5 38.5 39 39 39 39 39.5 40.5 41 41 41.5 41.5 42 42 42
42.5 42.5 43 43.5 43.5 44.5 44.5 45 45.5 45.5 46 47.5 47.5 47.5 48.5 48.5 49.5 50.
Homework 2
out 16 September, due 30 September, return 09 October.
Solutions are here.
Grades out of 40 are:
3 3 4 4 5 6 6 7 9 11 12 13 13
13 13 14 14 15 15 15 15 16 16 16 16 16 16 16 17 17 17 17 18 18
18 19 19 19 19 19 19 19 20 21 21 21 21 21 21.5 22 22 22 22 23 23
24 24.5 25 25 25 25 26 26 26.5 27 27 27 28 33 33 33 33 35 37 39.5 40
Homework 3
out 30 September, due 14 October, return 23 October.
Solutions are here.
Grades out of 40 are: 2 4 5 5 7 10.5
11 13 14 16 17 18 18.5 19 20 20 20 21.5 22 22 23 23 23 23 24 24
24 24.5 24.5 25 26 26 26 26 27 28 28 29 29 29 30 30 30 30 30 31
31 31 31.5 32 32 32.5 32.5 33 33 33 34 35.5 36 36 36 36.5 38 38 38
Homework 4
out 14 October, due 04 November, return 13 November.
Solutions are here.
Grades out of 50 are:
11 13 14 14 17 17 18 18 18
18 21 21 24 24 26 26 26 27 28 29 30 31 31 31 33 33 33
33 33 35 35 35 36 36 39 39 40 40 40 40 41 41 41 41 42
43 43 43 45 46 48 48 48 48 50 50 50 50 50 50
Homework 5
out 04 November, due 25 November, return 04 December.
Solutions are here.
Grades out of 50 are:
2 3 7 10 13 13 15 15
16 19 20 27 28 28 30 30 30 31 31 32 32 32 33 33 33 33 34 34
35 35 35 36 36 37 37 37 37 38 38 38 38 38 39 39 40 40 40 40
42 42 42 42 43 44 45 45 45 45
 Test 1 (Closed Book)  15%  05 October in class
Solutions are here.
Grades out of 40 are: 4 4 4 6 6 7 8 8 8 8 9 9 10
10 11 12 13 13 13 14 15 16 16 17 17 17 17 17 18 18 19 19 19
19 20 20 20 20 20 21 21 21 21 22 22 22 22 23 23 23 23 23 23
24 24 25 25 26 26 26 26 26 26 26 26 26 28 29 29 29 29 29 30
30 30 30 31 33 35 36 38 39 41.
 Test 2 (Closed Book)  15%  19 October in class
Solutions are here.
Grades out of 40 are: 1 1 2 3 4 5 6 7 7 8 9 9 10 10 10 13 13
14 14 14 15 15 16 16 16 16 17 18 18 19 19 20 20 20 20 20 20
21 21 21 22 22 23 23 23 24 24 24 24 25 25 25 25 26 26 26 26
27 27 27 28 28 29 32 32 33 34 34 35 36 36 37 37 38 39 41
 Final Exam (TWO SHEETS OF NOTES)  50%  09 December, 7:309:20 a.m.
The goal is to learn the material, and grades are meant to be reflective of how well you learned it. For this reason, the final exam is more heavily weighted, and is cumulative. If your percentage grade on the final exam exceeds that on
either or both tests, the final exam grade
replaces the lower test grade(s) in calculations of the final course grade.
You must write both tests in order for a grade to be eligible for replacement.
The final exam grade does not replace homework grades.
It is imperative that you make a legitimate attempt to answer all of the
homework questions. Any scaling of grades at the end of the course takes into
account the effort invested.
General Course Information:
Students may discuss homework
assignments with their classmates; however all work turned in is expected
to be that of the individual. If you have any questions regarding appropriate
collaboration please see the instructor.
More information is on the primary course web page.
In fall 2014, 21 students were reported for academic integrity violations in my section of CSE 355.
We will follow the text closely, but the emphasis on the tests will be the same as that in the lectures. Hence, although class attendance is not required, it is highly recommended.