날 짜 : 2016-12-01 ()

주 제 : 개발 회의

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

기록자 : GH

 

0. Agenda


1) Study summary [MR]

2) Modechart

3) SRL/D

4) Workshop

5) SH Thesis

 

1. Study summary [MR]


- Ch.1 Introduction to the Theory of computation

- Ch.2 Finite Auto mata

- Ch.3 Regular Language and Regular Grammers


자료참고 : 4--2016-12-01-An Introduction to FORMAL LANGUAGES

 

2. Mode chart


- SH : Modechart 내용을 example과 함께 튜토리얼 진행

- MK : 순환이 되는 구조로 구성할 필요성 강조

: ‘모든 발표의 시작엔 목차가 필요하다

: ‘시간의 데드라인이 추가되어지지 않았다. minimum, maximum를 사용 해볼 것

: 각각의 이론에 간단한 예제를 추가해서 발표할 필요 있다

: 논문일정을 마치면 완성도를 높이도록 계획 구상

 

3. SRL/D


- YB : 정의서를 참고해보니 begin 없이 선언 되어진다

- MK : 선언문이 기준이 되어야 하며, 기준에서와 같이 begin을 사용하는 방법을 사용필요

- Exception, Choice, Parallel에서 발생할 수 있는 문제 논의


자료참고 : 4--2016-12-01-회의내용기록-board1.png

 

4. Workshop


- 12/21 과제 관련된 워크숍은 SH이 참석

- MK, YB은 튜토리얼에 참석한다

 

5. SH Thesis


- 12/3 () 논문 시안 MK에 초안 제출 / 검토진행

- 12/5 () 논문 피드백 및 수정

- 12/7 () 심사교수진에게 제출

 

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

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________



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


[MK] Included : (3)


1) [MR] Intro 2 Formal Languages (PPT; pp. 22)

2) [SH] Modechart (ppt, doc)

3) SRL/D Syntax Definition (doc)