[박재성]

숙제 5에 나왔던 튜링머신에서
make-tm : symbol list * state * ruletable -> tm

숙제 7-1에 정의되어있는 코드를 보면
make_tm: symbol list -> state list -> state -> ruletable -> tm

중간에 state list 하나가 더 들어가 있습니다
빼도 될까요??

[박준호]

state list는 최종 state들의 모음이에요

Scheme과 달리 OcaML은 반환 타입을 자유롭게 못하니까 서치 실패했을때 false같은값을 반환 못하니까 대신에 넣어주신거같아요

11게시판 2페이지에 보면 7-1 테스트셋이 있는데 참고해보세요 ㅋ

[최민아]

박준호 학생 답변 감사합니다.

state list에 들어있는 state에 도달하면 튜링머신이 멈춥니다.