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
Final grades will be based on assignments, participation, and exams according to the following formula: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.
- Homework assignments (5) and participation -- 40%
- Exams (3) -- 60%
The P/NC grading option is not available for this course.
Prof. Leo Bachmair
1427 Computer Science Building
Office hours: W 10:00-12:00; or by appointment
Samuel McCauley
2114 Computer Science Building
Office hours: TuTh 2:00-3:00pm
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.
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