[Final 2024] Question about Problem 5 in Final 2024

[EunsuKim03]

이름 Your Name

김은수 Eunsu Kim

질문 Question

2024 기말고사의 5번 문제 The good and the bad에 대해서 몇 가지 질문이 있습니다.

Interval domain에서 구현된 정적 분석기에 대해 다음 조건을 만족하는 두 프로그램을 작성하면 되는 문제인데,

1. 2번 조건에서 semantically equivalent가 무슨 의미인지 알 수 있을까요?
   아래의 예시 답안에서 첫 번째는 임의의 자연수 x를 1까지 감소시키는 프로그램이고,
   두 번째는 x가 1인 경우에만 0으로 바꾸는 프로그램으로
   두 프로그램이 서로 다른 동작을 하는 것으로 보이는데 semantically equivalent한가요?
   혹시 두 번째 프로그램의 while 조건이 x != 1인데 오타가 난 것일까요?

2. 4번 조건에서 division-by-zero 에러가 없음을 정적분석기가 증명할 수 있는 프로그램과 그렇지 않은 프로그램을 찾으라고 했는데,
   여기서 "그렇지 않은 프로그램"이 무엇을 의미하나요?

• (1) division-by-zero가 있는 프로그램
• (2) division-by-zero가 없음을 증명할 수 없는 프로그램
  둘 중에 아무거나 써도 정답일까요?

감사합니다.

번역본 Translated Version

I have several questions about Problem 5. (The Good and the Bad) in the 2024 Final exam.

1. In the second condition, what is the exact meaning of "semantically equivalent"? Do the two examples in the sample answer satisfy this "semantically equivalent" condition? I'm confused because they seem to do quite different jobs. Or is it a typo? I guess the while condition in "the bad one" should be x != 1 not x == 1.

2. In the fourth condition, what conditions must "the bad one" satisfy? (1) Program with division-by-zero? (2) A program that cannot prove that there is no division-by-zero?

Thank you.

[sujin0529]

은수님, 안녕하세요.
기출문제에 대한 질문은 따로 받지 않겠습니다. 답은 스스로 찾으시길 바랍니다.
감사합니다.

---

Hello.
We won’t be accepting questions about past exam problems. Please try to find the answers on your own.
Thank you.