날 짜 : 2016-12-15 ()

주 제 : 개발 회의

참여자 : MK, YB, SH, JS, MR, GH

기록자 : GH

 

0. Agenda


1) [16-20-ET-01] Study summary of Automata [ MR ]

2) [16-15-RC-09] Seminar [ JS ]

3) Special lecture [ MK ]

 

1. [16-20-ET-01] Study summary of Automata [MR]


- She gives a presentaion about Automata summaried ( CHAPTER 9 ~ 11 )

Chapter 9 : Turing Machine

Chapter 10 : Other machine of turing machines

Chapter 11 : A Hierarchy of formal languages and Automata


- MK : MR의 세미나는 24()에 진행이니 준비 바람 ( Regarding of SDL )

File attached : 4--2016-12-15-An Introduction to FORMAL LANGUAGES.pptx

 

2. [16-15-RC-09] Seminar [JS]


- He gives a presentation about “ Statechart ” based on timestate

- MK : 12월 말 까지 SHJSstate machine을 마무리 지어야한다. 완성도 높일 것

- MK : GNAT, Ada parser 풀이도 중요한 부분이며, 꾸준히 진행해서 데드라인 지킬 것

File attached : 4--2016-12-15-Statechart-1.docx


3. Special lecture [MK]


- 금일 MR의 발표에 포함된 Turing machines19C~21C의 시대변화의 틀 안에서

어떻게 반영 되었는지, 우리들은 역사적 어느 위치에 서있는지에 대한 MK 특강진행

File attached : 4--2016-12-15-MK강의-board1.docx

 

MK : ------------------

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________



===================================================


[MK] Included: (3)


1) 4--2016-12-15-An Introduction to FORMAL LANGUAGES.pptx

2) 4--2016-12-15-Statechart-1.docx

3) 4--2016-12-15-MK강의-board1.docx