CmpE 350 - Formal Languages and Automata Theory

Spring Semester 2007

 

Announcements

  • Final exam grades are available here. You may see your papers on June 6, 2007 between 15:00 and 16:00 at ETA 19.
  • Final Exam:

                  Time: 01/06/2007 10:00 – 11:50

                  Place: AKBIYIK – EKICI  ->  ETA B5

                              ELIMOV – OZ ->  ETA A3

                              OZSERT – YURDUSEVEN ->  A2

  • An additional PS will be held on May 30, 2007 between 16:30 and 17:30 at ETA A2.
  • Third midterm grades are available here. You may see your papers on May 30, 2007 between 15:00 and 16:30 at ETA 19.
  • Second midterm grades are available here. You may see your papers on May 17, 2007 between 12:00 and 14:00 at ETA 19.
  • Midterm III :

                  Time: 18/05/2007 12:00 – 14:00

                  Place: AKBIYIK – ΗELİKEL  ->  ETA A2

                              DEMİR – YURDUSEVEN ->  KPARK 1

  • You can see your midterm papers between 12:00 and 13:30 on Wednesday at ETA 19.
  • Midterm II :

                  Time: 13/04/2007 12:00 – 14:00

                  Place: AKBIYIK – ΗELİKEL  ->  ETA A2

                              DEMİR – YURDUSEVEN ->  KPARK 1

  • First midterm grades are available here. (updated after objections)
  • Midterm I :

                  Time: 16/03/2007 12:00 – 14:00

                  Place: AKBIYIK – ΗELİKEL  ->  ETA A2

                              DEMİR – YURDUSEVEN ->  KPARK 1

  • Problem Session will be held weekly on Mondays at 17:00. The first PS is on 26/02/2007 at ETA A2.
  • Please register with the CmpE 350 mailing list from the department web site.
  • 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, 2nd Edition.

Instructor:

Cem Say

Teaching Assistants

Itır Karaη, Nuri Taşdemir

 

Prerequisite:

CmpE 220 or equivalent

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:

Midterm I         : 16 March 2007  12:00 – 14:00

Midterm II        : 13 April 2007  12:00 – 14:00

Midterm III      : 18 May 2007  12:00 – 14:00

Midterm places:

AKBIYIK – ΗELİKEL        ->  ETA A2

DEMIR – YURDUSEVEN  ->  KPARK 1

Computer Usage:

None

Laboratory projects:

None.