[이성환]

5-3번 문제에 관한 질문입니다.

주어진 튜링머신의 스펙상 현재 symbol이 쓰인 테이프의 양 끝에서 한칸씩에만 write가 가능합니다.
즉, 주어진 테이프가 ----------ab----------- 와 같은 모양일 때 다음 테이프는 a 또는 b를 지우고 다른 symbol을 쓰거나 a의 바로 왼쪽 혹은 b의 바로 오른쪽에만 write한 모양이 가능합니다.

하지만 튜링머신을 고려하지 않은 테이프 자체의 연산에서는 move-tape-left를 연속적으로 시행한 뒤 c를 쓸 수도 있습니다.
즉, ----------ab----------c 와 같은 모양의 테이프가 생길 수 있습니다.

저는 튜링머신에서 실제로 일어나는 쓰기만 고려하여 symbol이 존재하는 테이프의 양끝에서 한칸만 옮겨 쓰기를 수행할 수 있도록 구현하였습니다.
하지만 후자와 같이, 테이프를 왼쪽 또는 오른쪽으로 계속 옮긴 뒤 쓰기를 할 수 있도록 구현해야하나요?

그러한 테스트케이스가 들어오는지 궁금합니다.

[김윤승]

예를 들면 튜링 머신이 시작할 때 "-.-.-.-.a" 와 같은 테이프에서 시작할 수도 있는데요,

이럴 경우에는 튜링 머신이 동작하지 않을테니 문제가 될 거라고 생각합니다.[/b]