Theory of Computation, 2018 Spring
Course Information
- Instructor: Hakjoo Oh
- TAs: Sooyoung Cha, Seonho Lee
- Lecture: 14:00-15:15 on Tuesdays and Thursdays
Textbook
- Introduction to Automata Theory, Languages, and Computation (Third Edition)
Slides
- Introduction: lec0.pdf
- Preliminaries: lec1.pdf
- (Part 1) Finite Automata
- (Part 2) Pushdown Automata
- (Part 3) Turing Machines and Computability
- Review: lec21.pdf
Homework
- HW 1: DFA, NFA, and e-NFA (due 4/3)
- HW 2: Regular expressions and languages (due 4/19)
- HW 3: Context-free languages (due 5/24)
- HW 4: Essay (due 6/12)
- Excellent essays from previous years: 2015410126, 2015410056, 2015410047, 2011160004
Past Exams
Software Analysis Lab. @ Korea University