검색 결과 30 개 일치합니다

전에 한번 'if와 while의 조건문은 무조건 부울값을 계산한다'라는 조건 때문에 bexp를 추가한 뼈대가 올라왔던 것 같은데, 오늘 다시 뼈대를 다운 받아보� ...

project1은 이전 과제처럼 웹을 통해서 analyzer.ml만 제출하면 됩니까?

프로젝트 설명에서는 next의 타입이 State -> State로 되어 있습니다.
그러나 이번 프로젝트에서 사용되는 언어에는 read가 있기 때문에 read의 결과에 따� ...

주어진 코드에는 ProductDomain은 leq는

let leq x y = match (x,y)
with (BOT,_) -> true
| (TOP,_) -> false
| (_,BOT) -> false
...

이전 수업 게시판에서의 질문들과 제가 구현하면서 든 의문들을 정리해 봤습니다. 확실히 확인을 받고자 질문을 올립니다.

1. 공통
(1) leq는 partial o ...

order는 type이 t * t -> bool 인데요. 교제에 나오는 partial order를 말하는건가요? 만약에 그렇다면 어떨 때 true가 되는건가요?

1. sigma에서 범위가 real일 경우에는 어떻게 처리합니까? 소수점 아래자리는 버리고 정수로 변환하면 되나요?
SIGMA는 실수를 받지 않는걸로 하겠습니다. ...

작년에 동일한 과제를 하던 중에 문제에서 명확하지 않은 부분을 다시 정리해서 올립니다.

1. sigma에서 범위가 real일 경우에는 어떻게 처리합니까? 소 ...

언어 정의에서 타입 시스템의 규칙이 몇개 보이지 않는데요.

지금보니 '다음이 프로그램 식 e의 타입을 결정하는 규칙들이다. 완성해서 사용하라' 라 ...

앞의 하나는 recursive function의 이름, 뒤의 하나는 argument의 이름인 것 같습니다.

recursive function의 경우에는 함수 이름을 알아야 내부에서 다시 call할 � ...

음..

ifz e1 e2 e3 => if e1 = zero then e2 else e3

로 이해를 했었는데요. 조교님 어떻게 구현하면되나요?

ex1에서 'K.program과 Sm5.command가 동일한 일을 한다'의 정의가 여러가지가 있을 것 같은데요.

예를들어

1) 동일한 키보드 입력에 대해 동일한 스크린 � ...

hw5-2와 hw5-3이 제대로 동작하는지 확인하기 위해서 몇가지 M0 프로그램을 만들어서 돌려봤습니다.

다른 분들도 돌려보시고 빠진건 없는지, 제가 잘 � ...

함수가 무한 루프를 도는 경우는 잘 번역이 됩니다.
ex) (rec rec_fun b => rec_run 0) 0 => 번역하여 실행시 끝나지 않음

M0는 적극적인 프로그래밍 언� ...

1. 문제에서는 자연수를 최종적으로 계산하는 프로그램으로 제한한다고 되어 있습니다. 무한 루프를 도는 프로그램은 어떤 값도 계산하지 않으므로, � ...