Extended Syllabus

(2019 2nd Semester)

Course
Course Title Automata Theory CSE 4085
Number
Enrollment
Credit 3 3rd, 4th Year
Eligibility
Class Time Tues, Thur 12:00-13:15 Classroom

Name: Saejoon Kim Homepage: fml.sogang.ac.kr

Instructor's E-mail: saejoon@sogang.ac.kr Telephone: 02-705-8931

Photo
Office: AS1005
Office Hours: MWF 3-5pm

Ⅰ. Course Overview

1. Description
Automata theory and computational complexity are two of the most beautiful fields of modern
computer science, and they are increasingly relevant to other sciences ranging from physics to biology.
But this beauty is often buried underneath layers of unnecessary formalism. The aim of this course is to
bridge both gaps by explaining the deep ideas of theoretical computer science in a clear and enjoyable
fashion, making them accessible to computer scientists who finally want to understand what their
formalisms are actually telling.

2. Prerequisites

3. Course Format (%)

Lecture Discussion Experiment/Practice Field study Presentations Other

100% 0% 0% 0% 0% 0%

4. Evaluation (%)
mid-term
Final exam Quizzes Presentations Projects Assignments Participation Other
Exam
30% 30% 15% 0% 0% 20% 5% 0%

Ⅱ. Course Objectives

1
Ⅲ. Course Format
(* In detail)
Course will consist of lectures only and there will be quizzes during the lectures throughout the
semester.

Ⅳ. Course Requirements and Grading Criteria

Ⅴ. Course Policies
Absence/Late, Homework submission, Exams are managed according to the school regulations.

Ⅵ. Materials and References

Main textbook:

rd
Introduction to the Theory of Computation, 3 Ed., Sipser, PWS Publishing Co., 2013 (S)

The Nature of Computation, C. Moore and S. Mertens, Oxford University Press, 2011. (M&M)

2
Ⅶ. Course Schedule
(* Subject to change)

Learning Objectives

Topics Overview

Class Work
Lecture
Week (Methods)
1
Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 1 (S)

Week Class Work

Lecture
2 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 1 (S)

Week Class Work

Lecture
3 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 2 (S)

Week Class Work

Lecture
4 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives
Week
5 Topics Chap 2 (S)

3
 Class Work
Lecture
(Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 3.1 (S)

Class Work
Week Lecture
(Methods)
6
Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 3.2 (S)

Week Class Work

Lecture
7 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics

Week Class Work

Midterm Exam
8 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Week Topics Chaps 1, 2 (M&M)

9

Class Work
Lecture
(Methods)

4
 Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 3 (M&M)

Week Class Work

Lecture
10 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chaps 3, 4 (M&M)

Week Class Work

Lecture
11 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 4 (M&M)

Week Class Work

Lecture
12 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 5 (M&M)

Week
Class Work
13 Lecture
(Methods)

Materials
(Required Readings)

Assignments

5
 Learning Objectives

Topics Chap 5 (M&M)

Week Class Work

Lecture
14 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics Chap 9 (M&M)

Week Class Work

Lecture
15 (Methods)

Materials
(Required Readings)

Assignments

Learning Objectives

Topics

Week Class Work

Final Exam
16 (Methods)

Materials
(Required Readings)

Assignments

Ⅷ. Special Accommodations

6
Ⅸ. Aid for the Challenged Students
Priority in seat assignment, support lecture notes, TA tutoring, extended dues, etc.