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

    시 험

    강 의 자 료
  • TP는 강의 전에 미리 올라옵니다. 미리 읽어보고 인쇄하여 강의에 반드시 들고 오시길 바랍니다.
  • 이전 년도 강의 자료들을 참고하셔서 공부하시길 권장드립니다.
  • 참고 자료
    • 1965 Knuth : On the translation of languages from left to right (URL)
    • 큰 수 (hwp)
  • 강의필기 ( cf. 2015 CS522 Homepage)
    챕터 강의순서 강의일 제목
    Chapter0
    제 1 강
    2017-02-28(화)
    Introduction   (pdf)
    Chapter1
    제 2 강
    2017-03-02(목)
    Relation1   (pdf)
    제 3 강
    2017-03-07(화)
    Relation2   (pdf)
    제 4 강
    2017-03-09(목)
    Equivalence Relation, Partial Order, Fucntion, Cardinality of Sets   (pdf)
    제 5 강
    2017-03-14(화)
    Free Monoid over V   (pdf)
    제 6 강
    2017-03-16(목)
    Cantor's Diagonal Argument and Language   (pdf)
    제 7 강
    2017-03-21(화)
    Monoid & Rewriting System   (pdf)
    Chapter3
    제 8 강
    2017-03-23(목)
    Rewriting System & Chap3 Regular Languages   (pdf)
    제 8 강
    2017-03-28(화)
    Regular Languages   (pdf)
    제 9 강
    2017-03-30(목)
    Regular Expression and Finite State Automata   (pdf)
    제 10 강
    2017-04-04(화)
    Finite Automata   (pdf)
    제 11 강
    2017-04-06(목)
    Regular Grammar   (pdf)
    제 12 강
    2017-04-11(화)
    Deterministic Automaton   (pdf)
    Chapter4
    제 13 강
    2017-04-13(목)
    NFA-->DFA & Chap4 Context--free Grammar   (pdf)
    제 14 강
    2017-04-25(화)
    한글 오토마타   (pdf)
    Chapter5
    제 15 강
    2017-04-27(목)
    CFL & Chap5 Parsing   (pdf)
    제 16 강
    2017-05-02(화)
    Parsers   (pdf)
    제 17 강
    2017-05-04(목)
    Continuing Parsers   (pdf)
    제 18 강
    2017-05-11(목)
    Proofs   (pdf)
    제 19 강
    2017-05-16(화)
    Right Parser   (pdf)
    제 20 강
    2017-05-18(목)
    LR(k) Parsing   (pdf)
    제 21 강
    2017-05-23(화)
    LR(k) Parsing   (pdf)
    제 22 강
    2017-05-25(목)
    LR(k) items   (pdf)
    제 23 강
    2017-05-30(화)
    LR(0), SLR(k), LALR(k), and LR(k) Parsings   (pdf)
    제 24 강
    2017-06-01(목)
    LR(k) Parsings   (pdf)
  • TP ( cf. 2015 CS522 Homepage)
    챕터 보조 강의TP
    Chapter0
    Table of Content   ( pdf1 )
    Chapter1
    Elements of Language Theory   ( pdf1 )
    X
    Chapter2
    Algorithms on Graph   ( pdf1 )
    Chapter3
    Regular Languages   ( pdf1pdf2pdf3 )
    Chapter4
    Context-Free Languages   ( pdf1 )
    Chapter5
    Parsing   ( pdf1pdf2pdf3 )
    1
    Left and Right Parsers   ( pdf1 )
    2
    Strong LL(k) Parsing   ( pdf1 )
    Chapter6
    LR(k) Parsing (v4 p.35,36 추가)   ( pdf1pdf2pdf3pdf4 )
    Chapter7
    Construction and Implementation of LR(1) Parsers   ( pdf1 )
    1
    Supplement - LR(1) Parsers   ( pdf1 )
    2
    Error Recovery   ( pdf1 )
    Chapter8
    LL(k) Parsing   ( pdf1pdf2pdf3 )
    1
    Supplement - LL(k) Parsing   ( pdf1 )
    2
    Comparisons on LR(k) and LL(k) Parsings   ( pdf1 )
    X
    Chapter9
    Syntax Error Handling   ( pdf1 )
    X
    Chapter10
    Testing Grammars for Parsability   ( pdf1 )
    SIGPL 2012
    겨울 학교   ( pptx1 )
    1
    책갈피   ( hwp1 )
  • 프 로 젝 트
    • 공 지
    • 마감
      공지한 다음 주 화요일 수업 전 입니다.
    • Delay
      Due 이후에 제출된 숙제는 일체 받지 않습니다.
    • 제출 방식
      수업 시작 전에 교수님께 제출하시면 됩니다.
    • 과제
      출제일 제출일 숙제
      2017/03/16
      2017/03/21
    • 프로젝트
      출제일 제출일 프로젝트 HWP PDF 채점기준

    • 참고자료
      등록일 파일 이름 제목
      2012/10/20
      Lex & Yacc의 소개 및 사용법

    조 교 정 보
    이 름 연 구 실 이 메 일 담 당
    곽진명
    E3-1 2422
    kwak.jinmyung@kaist.ac.kr
    CS522, http://adamant.kaist.ac.kr/cs522, Webmaster: kwak.jinmyung [at] kaist.ac.kr