[최지헌]

1.
tape, tm 타입은 원하는 대로 정의하라고 하셨는데,

문제에 주어진 module type TM의 sig 안의 내용을 수정하는 건가요
아니면 module TuringMachine 안에 있는 struct에 원하는 type을 적어주는 건가요?

module type TM은 그냥 문제와 똑같이 두고 struct만 수정하니 제대로 작동하긴 하는데 그냥 밖에서 호출했을 때 tape, tm의 타입이 감춰지는 것 같습니다
TM을 수정하는게 디버깅하기엔 더 편하긴 한데 문제에 주어진 걸 바꾸면 안 될 것 같아서요;

2.
예전에 숙제5번에서 튜링머신 만들 때는 match되는 rule이 없을 때 멈추는 방식이었는데 이번엔 final state가 미리 주어지고 거기에 도달하면 튜링머신을 멈추는 방식으로 문제를 이해하고 있는데..
그렇다면 만약 match되는 rule이 없을 때는 어떻게 처리하나요?
그냥 exception 발생시키면 되나요?
아 그리고 final state는 여러 개가 될 수 있는 거죠?

[최민아]

1.
module TuringMachine 안에 있는 struct에 원하는 type을 적는 것입니다.
밖에서는 tape, tm의 타입을 볼 수 없어야 합니다.
signiture는 수정하지 말아주세요.

2.
match되는 rule이 없으면 적절히 exception으로 예외 처리를 해 주세요.
final state는 여러 개가 될 수 있습니다.

[최민아]

그리고 아직 모듈 사용법을 배우지 않아

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=3528

에 모듈 사용법을 올려놓았으니 참고하세요.