검색 결과 14 개 일치합니다

chmod 777 build 였나 ㄱㄱㄱㄱ하세용

check_cmd에 넣었을떄 false인가요?

아니면 그냥 cmd의 끝에 도달해서 프로그램이 끝날수있다면 (say는 없이) 올바른 cmd인가요?

repeat 3 read 는 3번읽은걸 더하는건가요 1번읽고 그걸 3번더하는건가요?

ㅠ
make_tm 에 빈 심볼리스트가 들어갔을 떄 잘 작동하는지 확인해보세용

ㅋㅋㅋ 참고로 중간에 O X 뜨는건 신경쓰실 필요 없습니다
그건 튜링의 계산과정일뿐이고
모든 것이 끝나고 맨 마지막줄에 소수라고 출력되는지 아니 ...

음.. 코드에서 가져다 쓰는건 step_tm 이랑 run_tm 이랑 print_tm 밖에 없는데요..
너무 큰 수를 입력하면 -.-.-.-.- ... 가 한동안 계속될 수 있습니다

#use "hw7_1.ml"
open TuringMachine

let rec run_your_tm_by_step tm size =
match step_tm tm with
| None -> print_endline (print_tm tm size)
| Some n -> print ...

오 그럼 엄밀하게 증명만 할 수 있으면 알고리즘은 상관 없는 건가요?

아 그리고 1번에 사용되는 알고리즘은 답만 맞게 나오면 맞게 하실 건가요?

세점이 한 직선 위에 있는 경우는 없다고 봐도 되나요?

감사합니당

(S I I (S I I))
즉
(a (a (a S I) I) (a (a S I) I))

같은 것이 들어오지 않는다고 할 수 있나요?

위와같은 용액은 반응시키면 자기자신이 나와서 자칫 무한루 ...

아이디가 본명이 아닌점 사과드립니다
조성민이라고 합니당

require을 쓸때 .rkt 파일을 require했는데
제출을 .txt로 바꿔서 할경우 require 문에서도 .txt ...

equal? 은 따로 정의된 데이터 타입이 아닌 이상 object id?를 비교하는 걸로 알고 있습니다.

일례로 (eq? (list 1 2) (list 1 2)) 는 #f 이고
(equal? (list 1 2) (list 1 ...