diff --git a/content/courses/_index.md b/content/courses/_index.md index 1fd69ec..aa886c2 100644 --- a/content/courses/_index.md +++ b/content/courses/_index.md @@ -33,3 +33,7 @@ weight = 60 - [COSE 212: Programming Languages]({{< relref "cose212/2019/_index.md" >}}) - [AAA 616: Program Analysis]({{< relref "aaa616/2019/_index.md" >}}) + +## 2019 Spring + +- [COSE 215: Theory of Computation]({{< relref "cose215/2019/_index.md" >}}) diff --git a/content/courses/cose215/2019/_index.md b/content/courses/cose215/2019/_index.md new file mode 100644 index 0000000..3cbb6c3 --- /dev/null +++ b/content/courses/cose215/2019/_index.md @@ -0,0 +1,48 @@ ++++ +draft = false +title = 'COSE215-19F' ++++ + +# 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) + {{< figure src="./book.png" width="100px" link="http://www.amazon.com/Introduction-Automata-Theory-Languages-Computation/dp/0321455363/ref=sr_1_1?ie=UTF8&qid=1456738389&sr=8-1&keywords=introduction+to+automata+theory" target="_blank" >}} + +## Slides + +- Introduction: [lec0.pdf](./slides/lec0.pdf) +- Mathematical Preliminaries: [lec1.pdf](./slides/lec1.pdf) +- (Part 1) Finite Automata + - Finite Automata: [lec2.pdf](./slides/lec2.pdf), [lec3.pdf](./slides/lec3.pdf), [lec4.pdf](./slides/lec4.pdf) + - Regular Expressions: [lec5.pdf](./slides/lec5.pdf), [lec6.pdf](./slides/lec6.pdf) + - Properties of Regular Languages: [lec7.pdf](./slides/lec7.pdf), [lec8.pdf](./slides/lec8.pdf) +- (Part 2) Pushdown Automata + - Context-free languages: [lec9.pdf](./slides/lec9.pdf), [lec9-2.pdf](./slides/lec9-2.pdf), [lec10.pdf](./slides/lec10.pdf) + - Pushdown automata: [lec11.pdf](./slides/lec11.pdf), [lec12.pdf](./slides/lec12.pdf) + - Properties of Context-free Languages: [lec13.pdf](./slides/lec13.pdf), [lec14.pdf](./slides/lec14.pdf) +- (Part 3) Turing Machines and Computability + - The Origin of Computer Science: [15-0.pdf](./slides/15-0.pdf) + - Standard Turing Machines: [lec15.pdf](./slides/lec15.pdf), [lec16.pdf](./slides/lec16.pdf) + - Extensions: [lec17.pdf](./slides/lec17.pdf), [lec18.pdf](./slides/lec18.pdf) + - Undecidability: [lec19.pdf](./slides/lec19.pdf) + - P, NP, and NP-completeness: [lec20.pdf](./slides/lec20.pdf) +- Review: [lec21.pdf](./slides/lec21.pdf) + +## Homework + +- [HW 1: Finite Automata (due 4/3, in class)](./homeworks/hw1.pdf) +- [HW 2: Regular Expressions/Languages (due 4/17)](./homeworks/hw2.pdf) +- [HW 3: Context-free languages (due 5/22)](./homeworks/hw3.pdf) +- [HW 4: Essay (due 6/10)](./homeworks/hw4.pdf) + +## Past Exams + +- Mid-term Exam: [2015](./exams/mid2015.pdf), [2016](./exams/mid2016.pdf), [2017](./exams/mid2017.pdf) +- Final Exam: [2015](./exams/final2015.pdf), [2016](./exams/final2016.pdf), [2017](./exams/final2017.pdf) diff --git a/content/courses/cose215/2019/book.png b/content/courses/cose215/2019/book.png new file mode 100644 index 0000000..76ff741 Binary files /dev/null and b/content/courses/cose215/2019/book.png differ diff --git a/content/courses/cose215/2019/exams/final2015.pdf b/content/courses/cose215/2019/exams/final2015.pdf new file mode 100644 index 0000000..441be04 Binary files /dev/null and b/content/courses/cose215/2019/exams/final2015.pdf differ diff --git a/content/courses/cose215/2019/exams/final2016.pdf b/content/courses/cose215/2019/exams/final2016.pdf new file mode 100644 index 0000000..50aa26f Binary files /dev/null and b/content/courses/cose215/2019/exams/final2016.pdf differ diff --git a/content/courses/cose215/2019/exams/final2017.pdf b/content/courses/cose215/2019/exams/final2017.pdf new file mode 100644 index 0000000..3930eee Binary files /dev/null and b/content/courses/cose215/2019/exams/final2017.pdf differ diff --git a/content/courses/cose215/2019/exams/mid2015.pdf b/content/courses/cose215/2019/exams/mid2015.pdf new file mode 100644 index 0000000..f9517c2 Binary files /dev/null and b/content/courses/cose215/2019/exams/mid2015.pdf differ diff --git a/content/courses/cose215/2019/exams/mid2016.pdf b/content/courses/cose215/2019/exams/mid2016.pdf new file mode 100644 index 0000000..5ed1fea Binary files /dev/null and b/content/courses/cose215/2019/exams/mid2016.pdf differ diff --git a/content/courses/cose215/2019/exams/mid2017.pdf b/content/courses/cose215/2019/exams/mid2017.pdf new file mode 100644 index 0000000..009f4e2 Binary files /dev/null and b/content/courses/cose215/2019/exams/mid2017.pdf differ diff --git a/content/courses/cose215/2019/homeworks/hw1.pdf b/content/courses/cose215/2019/homeworks/hw1.pdf new file mode 100644 index 0000000..9f7d602 Binary files /dev/null and b/content/courses/cose215/2019/homeworks/hw1.pdf differ diff --git a/content/courses/cose215/2019/homeworks/hw2.pdf b/content/courses/cose215/2019/homeworks/hw2.pdf new file mode 100644 index 0000000..435b3b6 Binary files /dev/null and b/content/courses/cose215/2019/homeworks/hw2.pdf differ diff --git a/content/courses/cose215/2019/homeworks/hw3.pdf b/content/courses/cose215/2019/homeworks/hw3.pdf new file mode 100644 index 0000000..0bed6a5 Binary files /dev/null and b/content/courses/cose215/2019/homeworks/hw3.pdf differ diff --git a/content/courses/cose215/2019/homeworks/hw4.pdf b/content/courses/cose215/2019/homeworks/hw4.pdf new file mode 100644 index 0000000..0e75f49 Binary files /dev/null and b/content/courses/cose215/2019/homeworks/hw4.pdf differ diff --git a/content/courses/cose215/2019/slides/lec0.pdf b/content/courses/cose215/2019/slides/lec0.pdf new file mode 100644 index 0000000..09bdedc Binary files /dev/null and b/content/courses/cose215/2019/slides/lec0.pdf differ diff --git a/content/courses/cose215/2019/slides/lec1.pdf b/content/courses/cose215/2019/slides/lec1.pdf new file mode 100644 index 0000000..9c1db0d Binary files /dev/null and b/content/courses/cose215/2019/slides/lec1.pdf differ diff --git a/content/courses/cose215/2019/slides/lec10.pdf b/content/courses/cose215/2019/slides/lec10.pdf new file mode 100644 index 0000000..f11e55f Binary files /dev/null and b/content/courses/cose215/2019/slides/lec10.pdf differ diff --git a/content/courses/cose215/2019/slides/lec11.pdf b/content/courses/cose215/2019/slides/lec11.pdf new file mode 100644 index 0000000..2efa4c6 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec11.pdf differ diff --git a/content/courses/cose215/2019/slides/lec12.pdf b/content/courses/cose215/2019/slides/lec12.pdf new file mode 100644 index 0000000..e3e1ddb Binary files /dev/null and b/content/courses/cose215/2019/slides/lec12.pdf differ diff --git a/content/courses/cose215/2019/slides/lec13.pdf b/content/courses/cose215/2019/slides/lec13.pdf new file mode 100644 index 0000000..d759c43 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec13.pdf differ diff --git a/content/courses/cose215/2019/slides/lec14.pdf b/content/courses/cose215/2019/slides/lec14.pdf new file mode 100644 index 0000000..d664000 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec14.pdf differ diff --git a/content/courses/cose215/2019/slides/lec15-0.pdf b/content/courses/cose215/2019/slides/lec15-0.pdf new file mode 100644 index 0000000..155f229 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec15-0.pdf differ diff --git a/content/courses/cose215/2019/slides/lec15.pdf b/content/courses/cose215/2019/slides/lec15.pdf new file mode 100644 index 0000000..e38b19d Binary files /dev/null and b/content/courses/cose215/2019/slides/lec15.pdf differ diff --git a/content/courses/cose215/2019/slides/lec16.pdf b/content/courses/cose215/2019/slides/lec16.pdf new file mode 100644 index 0000000..73b5e9d Binary files /dev/null and b/content/courses/cose215/2019/slides/lec16.pdf differ diff --git a/content/courses/cose215/2019/slides/lec17.pdf b/content/courses/cose215/2019/slides/lec17.pdf new file mode 100644 index 0000000..ff9ccea Binary files /dev/null and b/content/courses/cose215/2019/slides/lec17.pdf differ diff --git a/content/courses/cose215/2019/slides/lec18.pdf b/content/courses/cose215/2019/slides/lec18.pdf new file mode 100644 index 0000000..d7ba424 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec18.pdf differ diff --git a/content/courses/cose215/2019/slides/lec19.pdf b/content/courses/cose215/2019/slides/lec19.pdf new file mode 100644 index 0000000..1cd8ceb Binary files /dev/null and b/content/courses/cose215/2019/slides/lec19.pdf differ diff --git a/content/courses/cose215/2019/slides/lec2.pdf b/content/courses/cose215/2019/slides/lec2.pdf new file mode 100644 index 0000000..604c984 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec2.pdf differ diff --git a/content/courses/cose215/2019/slides/lec20.pdf b/content/courses/cose215/2019/slides/lec20.pdf new file mode 100644 index 0000000..580b46c Binary files /dev/null and b/content/courses/cose215/2019/slides/lec20.pdf differ diff --git a/content/courses/cose215/2019/slides/lec21.pdf b/content/courses/cose215/2019/slides/lec21.pdf new file mode 100644 index 0000000..1c22da8 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec21.pdf differ diff --git a/content/courses/cose215/2019/slides/lec3.pdf b/content/courses/cose215/2019/slides/lec3.pdf new file mode 100644 index 0000000..c4aab1a Binary files /dev/null and b/content/courses/cose215/2019/slides/lec3.pdf differ diff --git a/content/courses/cose215/2019/slides/lec4.pdf b/content/courses/cose215/2019/slides/lec4.pdf new file mode 100644 index 0000000..3914a7e Binary files /dev/null and b/content/courses/cose215/2019/slides/lec4.pdf differ diff --git a/content/courses/cose215/2019/slides/lec5.pdf b/content/courses/cose215/2019/slides/lec5.pdf new file mode 100644 index 0000000..d0a334a Binary files /dev/null and b/content/courses/cose215/2019/slides/lec5.pdf differ diff --git a/content/courses/cose215/2019/slides/lec6.pdf b/content/courses/cose215/2019/slides/lec6.pdf new file mode 100644 index 0000000..1cdee5f Binary files /dev/null and b/content/courses/cose215/2019/slides/lec6.pdf differ diff --git a/content/courses/cose215/2019/slides/lec7.pdf b/content/courses/cose215/2019/slides/lec7.pdf new file mode 100644 index 0000000..bd63c92 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec7.pdf differ diff --git a/content/courses/cose215/2019/slides/lec8.pdf b/content/courses/cose215/2019/slides/lec8.pdf new file mode 100644 index 0000000..02e042f Binary files /dev/null and b/content/courses/cose215/2019/slides/lec8.pdf differ diff --git a/content/courses/cose215/2019/slides/lec9-2.pdf b/content/courses/cose215/2019/slides/lec9-2.pdf new file mode 100644 index 0000000..5861849 Binary files /dev/null and b/content/courses/cose215/2019/slides/lec9-2.pdf differ diff --git a/content/courses/cose215/2019/slides/lec9.pdf b/content/courses/cose215/2019/slides/lec9.pdf new file mode 100644 index 0000000..b57123c Binary files /dev/null and b/content/courses/cose215/2019/slides/lec9.pdf differ