강 의 소 개
모국어 강의 본 강의는 모국어로 이루어진다.
담 당 교 수 최광무, E3-1 2427, choe@kaist.ac.kr
강 의 교 재
  • 주교재
    • 교재명 : Parsing Theory
    • 저자 : Seppo Sippu, Eljas Soisalon-Soininen
  • 강 의 시 간 화, 목 13:00 ~ 14:30
    강 의 장 소 E3-1(전산학동) 2443

    시 험

    강 의 자 료
  • TP는 강의 전에 미리 올라옵니다. 미리 읽어보고 인쇄하여 강의에 반드시 들고 오시길 바랍니다.
  • 이전 년도 강의 자료들을 참고하셔서 공부하시길 권장드립니다.
  • 참고 자료
    • 1965 Knuth : On the translation of languages from left to right (URL)
    • 큰 수 (hwp)
    • Introduction to Lex and Yacc by Hyunik Na (pdf)
    • SIGPL 2012 겨울학교(ppt)
  • 강의필기 ( cf. 2017 CS522 Homepage)
    챕터 강의순서 강의일 제목
    Chapter0
    제 1 강
    2018-02-27(화)
    Introduction   (pdf)
    Chapter1
    제 2 강
    2018-03-06(화)
    Elements of Language Theory   (pdf)
    제 3 강
    2018-03-08(목)
    Relation   (pdf)
    제 4 강
    2018-03-13(화)
    Cantor's Diagonal Argument   (pdf)
    제 5 강
    2018-03-15(목)
    Rewriting Systems   (pdf)
    Chapter3
    제 6 강
    2018-03-20(화)
    Regular Languages   (pdf)
    제 7 강
    2018-03-22(목)
    Finite Automata and Regular Grammar   (pdf)
    제 8 강
    2018-03-27(화)
    Regular Expression and NFA to DFA   (pdf)
    Chapter4
    제 9 강
    2018-03-29(목)
    Context Free Grammars   (pdf)
    제 10 강
    2018-04-03(화)
    Parse Tree, lm/rm Derivation   (pdf)
    Chapter5
    제 11 강
    2018-04-05(목)
    Pushdown Automata   (pdf)
    제 12 강
    2018-04-10(화)
    Guess-and-verify Parser   (pdf)
    제 13 강
    2018-04-12(목)
    Parsers   (pdf)
    제 14 강
    2018-04-24(화)
    Left/Right Parsers   (pdf)
    제 15 강
    2018-04-26(목)
    SLL(k) Parsing   (pdf)
    제 16 강
    2018-05-01(화)
    Mini-language to AST   (pdf)
    제 17 강
    2018-05-03(목)
    Abstract Syntax Tree   (pdf)
    Chapter6
    제 18 강
    2018-05-08(화)
    LR(k) Parsing   (pdf)
    제 19 강
    2018-05-10(목)
    LR(k) Parsing 2   (pdf)
    제 20 강
    2018-05-15(화)
    LR(k) Parsing 3   (pdf)
    제 21 강
    2018-05-17(목)
    LR(k) state와 LR(k) items   (pdf)
  • TP ( cf. 2017 CS522 Homepage)
    챕터 보조 강의TP
    Chapter0
    Table of Content   ( pdf1 )
    Chapter1
    Elements of Language Theory   ( pdf1 )
    Chapter2
    Algorithms on Graph   ( pdf1 )
    Chapter3
    Regular Languages   ( pdf1 )
    Chapter4
    Context-Free Languages   ( pdf1 )
    Chapter5
    Parsing   ( pdf1 )
    Chapter6
    LR(k) Parsing   ( pdf1 )
    Chapter7
    LR(1) Parsing   ( pdf1 )
    Chapter8
    LL(k) Parsing   ( pdf1 )
    Chapter9
    Syntax Error Handling   ( pdf1 )
    Chapter10
    Testing Grammars for Parsability   ( pdf1 )
  • 조 교 정 보
    이 름 연 구 실 이 메 일 담 당
    이희제
    E3-1 2408
    angiquer@kaist.ac.kr
    CS522, http://adamant.kaist.ac.kr/cs522, Webmaster: angiquer [at] kaist.ac.kr