[gono_doro]

안녕하세요.

특정 상태에 도달하면 결과값이 0 또는 1이 나오도록 했는데
올려 주신 테스트 링크에서 제 튜링기계를 돌려 보면
current state가 end가 아닌 halt라고 뜨며 '이 상태와 심볼에 지정된 rule이 없다'고 뜹니다. 다만 halt시에, head는 0 또는 1의 결과값을 제대로 가리키고 있습니다.

0이나 1의 결과값이 나온 이후에도 0,1의 심볼을 대상으로 한 rule을 만들어 주어야 하나요? 이럴 경우 튜링기계를 어떻게 종료할 수 있나요?
아니면 halt된 상태를 튜링기계가 종료된 것으로 보고, 이때의 head가 가리키는 값이 올바르면 되는 것인가요?

[김덕은]

1. current state가 'halt'로 나온다면 그건 프로그램이 'halted.', 즉 끝났다는 것과 같은 의미입니다.
따라서 current state가 halt인데 '이 상태와 심볼에 지정된 rule이 없다'고 나오는 상황이 어떤 상황인지 지금 이 정보로는 알 수가 없군요.

상황을 파악할 정보를 더 올려주시거나,
구체적인 도움이 필요하다면 직접 본인의 코드를 들고 찾아오시길 바랍니다.
내일(4일, 수) 오후 3시 이전에 302동 312-2호로 오시면 됩니다.
가능하면 방문하시기 전에 이메일로 오실 시간을 알려주시기 바랍니다.

2. 프로그램이 끝났을 때(Halted.), 헤더가 결과값을 제대로 가르키면 됩니다.

3. 결과값이 나온 뒤에는 프로그램을 끝내면 됩니다.
굳이 그 결과값에 대한 rule을 만들 필요는 없습니다.

4. 튜링기계의 tape 밑에 'Halted.'가 떠있는 상태를 튜링기계가 종료된 상태로 봅니다.
기계를 종료시키는 방법은 튜링기계 링크의 아래에 보시면 잘 설명되어 있습니다.


감사합니다.