[윤주영]

4번숙제에서도 헷갈렸던 부분입니다만,

x:=1;
x:=2

위와같은 프로그램이 주어졌다고 하면, 프로그램의 진행상에서는

cmd mem_hat
x:=1 x->[1,1]
x:=2 x->[1,2]

의 메모리 상태만을 가지게 됩니다.

숙제에서 요구하는 것은 위 처럼 실행과정에서 나타나는 메모리 상태만을 표현할 수 있으면 되는것인지, 아니면

cmd mem_hat
x:=1 x->[1,1]
x:=1;x:=2 x->[1,2]
x:=2 x->[2,2]

위처럼 프로그램에서 얻을수 있는 (실제로는 실행불가능한 x:=2와 같은 command를 포함하는) 모든 sub command에 대한 메모리 상태를 표현해야 하는것인지요?

그리고 하나 더, 이번 숙제에서도 readint는 실행시에 직접 입력하는건가요, 아니면 [-infinite, infinite]로 요약해서 하는건가요?

[진민식]

숙제의 스펙은
각 command에 대해서 그 command가 실행되기
직전의 요약메모리를 모으는 것 입니다.

따라서
x := 1;
x := 2

와 같은 경우는,

seq(x:=1, x:=2)이므로

empty-mem -> sequence command의 직전 상태
empty-mem -> x := 1 command의 직전 상태
x := 1;
{x->[1,1]} -> x := 2 command의 직전 상태
x := 2;

위와 같은 형태가 될 것 입니다.

그리고 참고로

x := 1;
x := 2;
x := 3;
이라는 프로그램이 있으면,
x:= 3 이라는 command의 직전으로
{x -> [1,2]}
라는 메모리가 와도 안전(sound)하기는 합니다.

하지만,
x := 2라는 command에 의해서 x -> 1이라는 결과가 x -> 2인 상태로
바뀌게 되므로,
{x->[2,2]}라는 메모리로 요약하는 것이 '더욱' 정확한 결과가 될 것입니다.

하지만 경우에 따라서는 기존의 메로리에 있는 x의 값을 무시하고
(위의 경우처럼)
새로운 값으로 바꿀 수 없는 경우도 있으니
충분히 생각하시면서 design하시길 바랍니다.

마지막으로 분석기는 어떤 경우에라도 항상 분석을
끝낼 수 있어야 합니다.
이말은 readint라는 외부입력이 있어도 안전하게 분석을
하면서서 끝을 낼 수 있어야 합니다.

[김은상]

[김용태]

아래 처럼 나와 있던데.

[손님]

[손님]

[진민식]

구현은 각 서브프로그램이 실행되기 직전의
abstract memory들을 모으는 것으로 하시고(스펙대로),
출력은 모든 command(seq 포함)에 대해서
출력하거나,
분석의 결과가 필요하다고 생각되는 부분만
해 주셔도 무방합니다.단 이 때는 출력할 command 와
출력하지 않을 command 를 잘 구분해 주세요.