편집
108
번
"튜링 머신"의 두 판 사이의 차이
주합루 오픈 위키
둘러보기로 이동검색으로 이동
편집 요약 없음
| 4번째 줄: | 4번째 줄: | ||
f( input, state ) = (output, tape moving) | f( input, state ) = (output, tape moving) | ||
output으로 input을 대체하고 테이프 리더의 위치를 tape moving의 정보를 통해 이동한다. (tape moving)= R, L, Stay (output)=(0, 1) | output으로 input을 대체하고 테이프 리더의 위치를 tape moving의 정보를 통해 이동한다. (tape moving)= R, L, Stay (output)=(0, 1) | ||
U라는 튜링머신은, M이라는 튜링 머신의 룰을 잘 가지고 있어서 | |||
U( M, x ) = M(x)의 결과를 잘 만든다. | |||
이 튜링머신을 유니버설 튜링머신이라고 한다. | |||
Non-computibility : 전산불가능이라는 말은 어떤 함수가 튜링머신으로 계산할 수 없을 때를 말한다. | |||
