|
|
| (같은 사용자의 중간 판 2개는 보이지 않습니다) |
| 14번째 줄: |
14번째 줄: |
|
| |
|
| Halting Problem | | Halting Problem |
| | |
| | 임의의 튜링 머신과 인풋이 있을 때, 이것이 멈출 것인가를 결정할 수 있는 튜링 머신은 없다. |
| | Halting problem은 결정 또는 판정 문제의 하나이다. Decision problem |
| | |
| | 튜링 머신에서 Circuit과의 관련성이 나오고 Computational complexity가 나온다. |
| | |
| | [[Computational Complexity]] |