Course Program:
Instructor: Cem SAY
Room: BM 39
E-mail: sayboun.edu.tr (say[at]boun.edu.tr)
Teaching Assistant: Özlem Salehi
Room: BM 26
E-mail: ozlem.salehiboun.edu.tr (ozlem.salehi[at]boun.edu.tr)
Office Hour: By appointment. Send an e-mail.
Exam dates:
Midterm 1 : March 9 11:00 – 13:00
ADA - DOĞRU @ NH 201
DORUM - ZÖNGÜR @ NH 301
Midterm 2 : April 27 11:00 – 13:00
ADA - DOĞRU @ NH 201
DORUM - ZÖNGÜR @ NH 301
Midterm 3: May 11:00 – 13:00
ADA - DOĞRU @ NH 201
DORUM - ZÖNGÜR @ NH 301
Final : May 21, 10:00 @ EF106
Catalog Data: Strings and Languages. Classification of Grammars. Finite-state automata and regular expressions. Push-down automata and context-free grammars. Turing machines.
Topics:
- Strings and Languages
- Finite Automata and Regular Languages
- Context-free Languages
- The Church-Turing Thesis
- Decidability
- Reducibility
Prerequisite: CmpE 220 or equivalent
Textbook:
Michael Sipser. Introduction to the Theory of Computation. PWS Publishing Company, 3rd Edition.