[최재승]

tape를 초기화하는 init-tape에 인자로 빈 리스트가 전달될 때 어떻게 처리할지 질문드립니다.
(초기화된 tape의 헤더 위치가 리스트의 첫번째에 위치한다고 했으므로 에러 처리해야 할 것 같습니다. )

[최재승]

그리고 튜링 머신은 보통 정의할때 final state까지 함께 주어지는 것으로 알고 있는데 make-tm의 인자에 없어서, 어떻게 final state를 구분하는지 궁금합니다. rule-table에 해당 state를 엔트리로 갖는 rule이 없으면 final state로 판단할까요?

답변 미리 감사드립니다.

[최민아]

빈 리스트가 전달되는 경우에는 'BLANK를 넣고 헤더가 'BLANK를 가리키게 해 주세요.

final state는 추후에 답변하겠습니다.

[최민아]

match되는 rule이 없을 때에 튜링머신을 멈춰 주세요.