CS522 Automata and Formal Languages Theory

2013년 봄학기

본 강의는 모국어로 이루어진다.


조교

ü  이름: 강진, 이메일: sd1989@kaist.ac.kr


시험 공지

어떠한 자료든지 시험 도중 참조 가능(교과서, 인터넷, 수업자료...)
※단 다른 사람들과 의사소통하는 것은 금지함.


연습 문제


강의 영상 및 필기

강의 주제 강의 날짜 강의 영상 강의 필기
2013/03/05 1번
2013/03/07 1번, 2번
2013/03/12 1번
2013/03/14 1번, 2번
V* & 4 Terminologies 2013/03/19 1번, 2번 1페이지, 2페이지, 3페이지
Rewriting systems, Regular languages 2013/03/26 1번, 2번 1페이지, 2페이지
FA & Regular grammar 2013/03/28 1번, 2번 1페이지, 2페이지
2013/04/02 1번
Regular language, Equivalence of R.E. and FA 2013/04/04 1번, 2번 1페이지, 2페이지
Regular language, DFA 2013/04/09 1번, 2번 1페이지, 2페이지
2013/04/11 1번
Context free grammar 2013/04/16 1번 1페이지
Loop invariance 2013/04/18 1번 1페이지
Parsing 2013/04/30 1번, 2번 1페이지
Parsing 2013/05/02 1번, 2번 1페이지, 2페이지
Left & Right parser 2013/05/07 1번 1페이지
Proof: left parser and right parser 2013/05/09 1번 1페이지
2013/05/14 1번
2013/05/16 1번 1페이지, 2페이지
SLL(1) & LR(k) 2013/05/21 1번 1페이지, 2페이지
LR(k) parsing 2013/05/23 1번, 2번 1페이지, 2페이지
LR(k) parsing 2 2013/05/28 1번 1페이지
2013/06/11 1번
2013/06/13 1번, 학생발표

교과서 TP




Last modified: 05 / 20 / 2011


Last modified: 05 / 20 / 2011


Last modified: 05 / 20 / 2011


SIGPL2012 겨울학교(Winter School)


Lex, Yacc & NP-complete

lex_yacc_1
lex_yacc_2
NP_complete