편집
108
번
| 17번째 줄: | 17번째 줄: | ||
임의의 튜링 머신과 인풋이 있을 때, 이것이 멈출 것인가를 결정할 수 있는 튜링 머신은 없다. | 임의의 튜링 머신과 인풋이 있을 때, 이것이 멈출 것인가를 결정할 수 있는 튜링 머신은 없다. | ||
Halting problem은 결정 또는 판정 문제의 하나이다. Decision problem | Halting problem은 결정 또는 판정 문제의 하나이다. Decision problem | ||
튜링 머신에서 Circuit과의 관련성이 나오고 Computational complexity가 나온다. | |||
[[Computational Complexity]] | |||