5-3 empty-ruletable 질문입니다.

김남현 · 가입: 2012년 9월 14일 올린 글: 19

5-3의 empty-ruletable 은 함수인가요? 정의인가요?

그리고

5-3에서 튜링머신이 끝난다는것은 어떻게 알 수 있나요?
머신이 final state가 무엇인지 알아내야하는건가요?

최민아 · 가입: 2009년 9월 28일 올린 글: 236

void를 받지 않으므로 함수가 아니라 정의입니다.
즉 (define (empty-ruletable ..) 이 아니라
(define empty-ruletable ..)로 해 주세요.

튜링머신이 끝나는 것은 해당하는 rule이 없을 때입니다.
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=3392
에 같은 질문이 올라와 있습니다.