튜링 머신 - 편집 역사

2022년 10월 13일 (목) 14:31에 Juhapru님의 편집

2022-10-13T14:31:17Z

← 이전 판		2022년 10월 13일 (목) 23:31 판
17번째 줄:		17번째 줄:
	임의의 튜링 머신과 인풋이 있을 때, 이것이 멈출 것인가를 결정할 수 있는 튜링 머신은 없다.		임의의 튜링 머신과 인풋이 있을 때, 이것이 멈출 것인가를 결정할 수 있는 튜링 머신은 없다.
	Halting problem은 결정 또는 판정 문제의 하나이다. Decision problem		Halting problem은 결정 또는 판정 문제의 하나이다. Decision problem

			튜링 머신에서 Circuit과의 관련성이 나오고 Computational complexity가 나온다.

			[[Computational Complexity]]

2022년 10월 13일 (목) 01:49에 Juhapru님의 편집

2022-10-13T01:49:37Z

← 이전 판		2022년 10월 13일 (목) 10:49 판
16번째 줄:		16번째 줄:

	임의의 튜링 머신과 인풋이 있을 때, 이것이 멈출 것인가를 결정할 수 있는 튜링 머신은 없다.		임의의 튜링 머신과 인풋이 있을 때, 이것이 멈출 것인가를 결정할 수 있는 튜링 머신은 없다.
			Halting problem은 결정 또는 판정 문제의 하나이다. Decision problem

2022년 10월 13일 (목) 01:48에 Juhapru님의 편집

2022-10-13T01:48:12Z

← 이전 판		2022년 10월 13일 (목) 10:48 판
14번째 줄:		14번째 줄:

	Halting Problem		Halting Problem

			임의의 튜링 머신과 인풋이 있을 때, 이것이 멈출 것인가를 결정할 수 있는 튜링 머신은 없다.

2022년 10월 11일 (화) 11:04에 Juhapru님의 편집

2022-10-11T11:04:10Z

← 이전 판		2022년 10월 11일 (화) 20:04 판
11번째 줄:		11번째 줄:

	Non-computibility : 전산불가능이라는 말은 어떤 함수가 튜링머신으로 계산할 수 없을 때를 말한다.		Non-computibility : 전산불가능이라는 말은 어떤 함수가 튜링머신으로 계산할 수 없을 때를 말한다.


			Halting Problem

2022년 10월 11일 (화) 11:02에 Juhapru님의 편집

2022-10-11T11:02:48Z

← 이전 판		2022년 10월 11일 (화) 20:02 판
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 : 전산불가능이라는 말은 어떤 함수가 튜링머신으로 계산할 수 없을 때를 말한다.

2022년 10월 11일 (화) 04:29에 Juhapru님의 편집

2022-10-11T04:29:21Z

← 이전 판		2022년 10월 11일 (화) 13:29 판
1번째 줄:		1번째 줄:

	튜링 머신이란, input tape에 0,1 정보가 저장되어 있고		튜링 머신이란, input tape에 0,1 정보가 저장되어 있고
	이 정보와 내부 ~~상태의~~ 산출값이 (output)과 (tape moving)의 정보이다.		이 정보와 내부 상태를 argument로 하는 머신의 산출값이 (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)

2022년 10월 11일 (화) 04:28에 Juhapru님의 편집

2022-10-11T04:28:23Z

← 이전 판		2022년 10월 11일 (화) 13:28 판
1번째 줄:		1번째 줄:

	튜링 머신이란, input tape에 0,1 정보가 저장되어 있고		튜링 머신이란, input tape에 0,1 정보가 저장되어 있고

	이 정보와 내부 상태의 산출값이 (output)과 (tape moving)의 정보이다.		이 정보와 내부 상태의 산출값이 (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)

Juhapru: 새 문서: 튜링 머신이란, input tape에 0,1 정보가 저장되어 있고 이 정보와 내부 상태의 산출값이 (output)과 (tape moving)의 정보이다. output으로 input을 대체하고 테이프 리더의 위치를 tape moving의 정보를 통해 이동한다. (tape moving)= R, L, Stay (output)=(0, 1)

2022-10-11T04:28:06Z

새 문서: 튜링 머신이란, input tape에 0,1 정보가 저장되어 있고 이 정보와 내부 상태의 산출값이 (output)과 (tape moving)의 정보이다. output으로 input을 대체하고 테이프 리더의 위치를 tape moving의 정보를 통해 이동한다. (tape moving)= R, L, Stay (output)=(0, 1)

새 문서

튜링 머신이란, input tape에 0,1 정보가 저장되어 있고

이 정보와 내부 상태의 산출값이 (output)과 (tape moving)의 정보이다.

output으로 input을 대체하고 테이프 리더의 위치를 tape moving의 정보를 통해 이동한다. (tape moving)= R, L, Stay (output)=(0, 1)