[황정인]

저번 숙제와 사용하는 언어가 다르고 ocaml에 익숙하지 않다보니 아무래도 혼동이 와서 질문드립니다

1. 채점을 하실 때에 main함수가 아니라 tape part(ex. init-tape, read_tape ...) 나 rule table part(ex. match_rule)에 정의된 함수들을 직접 실행해보시나요??
예를들어서 [SYM1;SYM2;SYM3] 으로 된 symbol list를 init_tape하고 move_tape_left, right 등을 해보는 작업등 말입니다.

2. 'BLANK같은경우는 어떻게 처리해야하나요? symbol=string이니까 그대로 "BLANK"로 처리하나요?

[황정인]

signature 이용방법도 잘 이해가 안되는데요

3. module type TM sig ... end 에 쓰인 type들을 module TuringMachine :TM = struct ... end 안에서 다시 type정의해줘야하나요?

The field 'tm' is required but not provided

라는 오류가 자꾸 발생합니다.

[최민아]