[임경영]

두시간동안 장문의 글을 썼는데;;
세션이 날라가서인지 글이 날라갔네요.. ㄷㄷㄷ..

요점만 쓸께요.

1.
문제 정의
인터프리터를 하는 세함수를 작성하여라
k.ml에 주어진 함수는 힌트라고 생각되어짐.

1)tracing
read값에 따라서 메모리의 연결이 달라질수 있음.
{메모리}-..-{메모리}-{메모리}
{메모리}-..-{메모리}-{메모리}
{메모리}-..-{메모리}-{메모리}
와 같은 형태로 출력되는 것으로 생각됨

2)collecing
{메모리},{메모리},..,{메모리}
의 형태로 출력되는 형태

3)pointcollect
명령어1:{메모리}
명령어2:{메모리}
명령어3:{메모리}
등의 형태로 출력되는 형태

ps.{메모리}는 실제는 기계상태를 의미..

2. C;C 문법때문에 모호한 경우
if E C1;C2 C3;C4의 경우
if E then C1;C2 elseC3를 하고 C4를 하는 것인지
if E then C1;C2 else C3;C4인지 모호함.
이것에 대한 정의가 필요할 듯합니다.

3. 기계상태에 대한 정의
기계상태는 현재는 메모리만! 하는 것과 메모리와 PC값을 튜플로 정의하는 방법 두가지인듯합니다.
이때 PC의 사용여부에 따라 메모리의 중복처리에 대한 방법도 달라질듯합니다.

제 생각은 PC값도 함께 사용하는 것이 좋을듯합니다.

4.PC값에 대한 정의
만약 PC를 사용한다면 이값에 대한 정의를 할 필요가 있을듯합니다.
PC를 0을 시작으로 명령어가 나올때마다 1씩 증가하면서 값을 줄지
PC를 0부터 시작해서 실제 명령어가 실행될때 1씩 증가시킬지에 따라 결과가 달라질수 있습니다.

예를 들어
C1; if e C2 C3의 경우

PC cmd
0 C1
1 if e C2 C3
2 C2
3 C3 인 경우와

PC cmd
0 C1
1 if e C2 C3
2 C2 or C3 인 경우로 나눌수 있을 것 같습니다.

PC값이 명령마다 달라진다면 기계상태를 확인할때 메모리와 PC값 두개가 값을 경우가 발생함으로, 이것에 대한 체크가 필요할 것 같습니다.
이런의미로 PC값을 구체적으로 정하는 것이 좋을 것 같다는 생각입니다.


원래 글은 훨씬길고 예도 많았는데..
정확한 스펙이 없다보니 글을 적어보았습니다.

실제 수행될 입력과 출력의 예가 주어진다면 더 좋겠지만 ^^
이런식으로 의논해보는 것도 좋겠네요.

의견주세요!
감사합니다.

[공순호]