CSE 303 - Introduction to Theory of Computation

Spring 2013

Prof. Leo Bachmair

http://www.cs.sunysb.edu/~leo/cse303.html

Announcements

• The third, and final, exam is on Tuesday, May 21st, 11:15am - 12:45pm, Old Engineering 143. It will cover the following topics: Turing machines, grammars, decidability, and undecidability, see Chapters 11-14 and Section 15.1 and 15.2 of the textbook. (May 13)
• Previous announcements

Course Description

An introduction to the abstract notions encountered in machine computation. Topics include finite automata, regular expressions, and formal languages, with emphasis on regular and context-free grammars. Questions relating to what can and cannot be done by machines are covered by considering various models of computation, including Turing machines, recursive functions, and universal machines.

Prerequisites: CSE 214 and 215

Course Information

• Objectives
• Textbook and Topics

Homework Assignments

• Previous assignments

Examinations

• Exam I: Thursday, March 7th, 2:30PM - 3:50PM, MELVILLE LBR W4550
• Exam II: Thursday, April 11th, 2:30PM - 3:50PM, MELVILLE LBR W4550
• Exam III: Tuesday, May 21st, 11:15am - 12:45pm, Old Engineering 143

Grading Schema

The grades for the course will be based on assignments and exams according to the following formula:

• Homework assignments -- 25%
• Exams (3) -- 75%

Students who miss an exam for a valid reason may need to take a make-up exam; specific arrangements will be made on a case-by-case basis.

The P/NC grading option is not available for this course.

Instructor

Prof. Leo Bachmair
1427 Computer Science Building
General office hours: TuTh 1:00-2:00, W 11:00-12:00
Additional office hours (for students in CSE 303): TuTh 12:00-1:00, or by appointment

Teaching Assistant

Dongli Zhang
2110 Computer Science Building
Office hours: Tu 4:30-5:30

Yang Sheng Fang
2110 Computer Science Building
Office hours: MW 11:00-12:00

Meeting Time and Place

TuTh 2:30PM - 3:50PM, MELVILLE LBR W4550

Academic Integrity

Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person's work as your own is always wrong. Suspected instances of academic dishonesty will be reported to the CEAS Committee on Academic Standing and Appeals. More comprehensive information on academic integrity, including categories of academic dishonesty, can be found on the Academic Judiciary's web site.

Additional Information

If you have a physical, psychological, medical, or learning disability that may impact your course work, please contact Disability Support Services at (631) 632-6748 or here. They will review your concerns and determine, with you, what accommodations are necessary and appropriate. All information and documentation is confidential.

Students who require assistance during emergency evacuation are encouraged to discuss their needs with their professors and Disability Support Services. For procedures and information go to the following web site: http://www.ehs.sunysb.edu and search Fire Safety and Evacuation and Disabilities.

Page maintained by Leo Bachmair leo@cs.sunysb.edu