CmpE 350 Formal Languages and Automata Theory 2019 Spring

Instructor: 

Course Schedule: 

WThTh 323 BM A2

PS Schedule: 

MM 910 BM A2 | WW45 BM B5

Course Program: 

Instructor: Cem Say
Room: BM 39
E-mail: sayatboun.edu.tr (say[at]boun.edu.tr)


Teaching Assistant: Özlem Salehi
Room: BM 26
E-mail: ozlem.salehiatboun.edu.tr (ozlem.salehi[at]boun.edu.tr)
Office Hour: Wednesday 13:00-15:00


Student Assistant: Nevzat Ersoy
E-mail: ozlem.salehiatboun.edu.tr (nevzat.ersoy[at]boun.edu.tr)


Exam dates

Midterm 1: March 7, Thursday 09:00-11:00

AKGÜN - KURTULUŞ @ NH401

MENTE - YÜKSEL @ NH402

Midterm 2: April 11, Thursday 09:00-11:00

AKGÜN - KURTULUŞ @ NH401

MENTE - YÜKSEL @ NH402

Final: 

June 1, Saturday 10:00-12:00

AKGÜN - DUMANDAĞ @ NH404

DURA - YÜKSEL @ NH405

Catalog Data: Strings and Languages. Classification of Grammars. Finite-state automata and regular expressions. Push-down automata and context-free grammars. Turing machines.
Topics:

  1. Strings and Languages
  2. Finite Automata and Regular Languages
  3. Context-free Languages
  4. The Church-Turing Thesis
  5. Decidability
  6. Reducibility

Prerequisite: CmpE 220 or equivalent

Textbook: 

Michael Sipser. Introduction to the Theory of Computation. PWS Publishing Company, 3rd Edition.

Bize Ulaşın

Bilgisayar Mühendisliği Bölümü, Boğaziçi Üniversitesi,
34342 Bebek, İstanbul, Türkiye

  • Telefon: +90 212 359 45 23/24
  • Faks: +90 212 2872461
 

Bizi takip edin

Sosyal Medya hesaplarımızı izleyerek bölümdeki gelişmeleri takip edebilirsiniz