이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김부근
가입: 2011년 3월 12일 올린 글: 12
|
올려짐: 2011년4월8일 0:30 주제: 숙제 5 Semantics 질문입니다. |
|
|
당연해 보이지만 혹시 잘못 이해하고 있을까봐 질문 몇 개 드립니다.
1. Assign(Recassign)에서 변수 형이 다른 경우는 Exception 처리해야 하는건가요?
(변수형에 대한 언급이 시맨틱에 있질 않아서)
2. STAR에서 *(x+1)과 같이 Loc와 Num을 Add, Sub하는 경우에 대해서는 처리해야 하는건가요?
3. WRITE x는 x가 v의 값을 가질 때 "v"와 개행문자를 출력하라는 의미인가요, "v"와 "newline"을 출력하라는 의미인가요?
4. Equal에서 Loc나 Record간의 비교는 제외되어 있는데, 이대로 수행하면 되는건가요? |
|
위로 |
|
|
신상민
가입: 2011년 4월 8일 올린 글: 12
|
올려짐: 2011년4월8일 20:38 주제: 덧붙여 질문입니다 |
|
|
사칙연산은 Num(int)에 대해서만 허용하는 것인가요?^_^
당연한 사항인 것 같지만 일단 혹시나 해서 질문드립니다 ㅜㅜ |
|
위로 |
|
|
오학주
가입: 2005년 9월 5일 올린 글: 118
|
올려짐: 2011년4월9일 0:33 주제: Re: 숙제 5 Semantics 질문입니다. |
|
|
김부근 씀: | 당연해 보이지만 혹시 잘못 이해하고 있을까봐 질문 몇 개 드립니다.
1. Assign(Recassign)에서 변수 형이 다른 경우는 Exception 처리해야 하는건가요?
(변수형에 대한 언급이 시맨틱에 있질 않아서)
2. STAR에서 *(x+1)과 같이 Loc와 Num을 Add, Sub하는 경우에 대해서는 처리해야 하는건가요?
3. WRITE x는 x가 v의 값을 가질 때 "v"와 개행문자를 출력하라는 의미인가요, "v"와 "newline"을 출력하라는 의미인가요?
4. Equal에서 Loc나 Record간의 비교는 제외되어 있는데, 이대로 수행하면 되는건가요? |
1. 변수형이란게 변수의 타입을 말씀하시는거겠죠? Assign에서 변수타입을 고려하실 필요는 없습니다.
2. 에러로 처리해 주세요.
3. 이렇게 오해할수도 있겠네요 개행문자를 출력해 주세요.
4. 일단 문서에 정의되어 있는대로 해주세요. 하지만 주소와 레코드끼리 비교도 지원하셔도 좋습니다. 주소와 레코드끼리의 비교는 현재 문서에 (실수로) 빠져 있네요.
오학주 가 2011년4월9일 0:43에 수정함, 총 1 번 수정됨 |
|
위로 |
|
|
오학주
가입: 2005년 9월 5일 올린 글: 118
|
올려짐: 2011년4월9일 0:43 주제: Re: 덧붙여 질문입니다 |
|
|
신상민 씀: | 사칙연산은 Num(int)에 대해서만 허용하는 것인가요?^_^
당연한 사항인 것 같지만 일단 혹시나 해서 질문드립니다 ㅜㅜ |
네. 그냥 정수만 생각하시면 돼요
-------------------------------------
복잡하게 생각하지 마시고,
주어진 의미정의를 "충실하게" 실행기를 구현하는 연습을 해 주세요.
의미정의에 "충실한" 실행기란..
1. 의미가 정의된 프로그램이라면 돌릴 수 있어야하고,
2. 정의가 안되는 프로그램이라면 돌리지 않는.
물론 돌리면 안된다는 것은 에러처리를 하는 것을 뜻합니다. |
|
위로 |
|
|
|