Theory of Computation, 2019 Spring
Course Information
- Instructor: Hakjoo Oh
- TAs: Seongjoon Hong and Junhee Lee (Class 02), Myungho Lee and Donghun Jeon (Class 03)
- Lecture: 14:00-15:15 (Class 02), 15:30-16:45 (Class 03) on Mondays and Wednesdays
Textbook
- Introduction to Automata Theory, Languages, and Computation (Third Edition)
Slides
- Introduction: lec0.pdf
- Mathematical Preliminaries: lec1.pdf
- (Part 1) Finite Automata
- (Part 2) Pushdown Automata
- (Part 3) Turing Machines and Computability
- Review: lec21.pdf
Homework
- HW 1: Finite Automata (due 4/3, in class)
- HW 2: Regular Expressions/Languages (due 4/17)
- HW 3: Context-free languages (due 5/22)
- HW 4: Essay (due 6/10)
Past Exams
Software Analysis Lab. @ Korea University