CmpE 350 - Formal Languages and Automata Theory

Summer Semester 2003

 

 

Announcements

·        The final exam grades are here. You can see your papers ONLY between 11:00 and 12:00 on August 8, 2003.

·        THE FINAL EXAM WILL BE HELD IN ETA Z04, in the Computer Engineering Building, on Wednesday, August 6, at 09:15.

·        Midterm #2 grades are here. You can see your papers during the office hours of Itır Barutçuoğlu.

·        Midterm #1 grades are here. You can see your papers during the office hours of Itır Barutçuoğlu.

·        THE MIDTERM EXAMS WILL BE HELD IN YD 206.

·        Office hours of Itır Barutçuoğlu: Monday: 15-17, Wednesday (except the 16th): 13-15. Place: The Computer Engineering Building.

·        Starting Thursday, July 4, the location for the lectures is the Computer Engineering Department Seminar Room, (ETA311), in the building next to the library.

·  The course announcements will be placed here, newer ones will be on top of older ones. Check frequently.

 

Catalog Data:

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

Textbook:

Michael Sipser. Introduction to the theory of Computation. PWS Publishing Company, 1997.

Instructor:

Cem Say

Assistant:

Itır Barutçuoğlu

 

Prerequisite:

CmpE 220

Topics:

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

Midterm dates: (midterms will be held during the lecture hours)

July 9
July 23

Computer Usage:

None

Laboratory projects:

None.