1. 일단, 제한된 시간 동안 게임이 끝나지 않으면 무승부라고 가정하겠습니다. 체스와 바둑의 말-이동은 모두 2차원 좌표 위에서 표시됩니다. 그리고 두 게임 모두 게임 종료를 정의하는 규칙을 가지고 있습니다. 이러한 요소들을 고려하면, 말-이동을 표현하는 [형식] 문법을 얻을 수 있습니다 -- 이 [형식] 문법을 G라고 부릅시다. 특별히, 시간 초과로 생긴 무승부를 생각해보면, (1) 무승부는 말-이동을 기술하는 string의 길이가 상수 N보다 클 때 선언되며[*], (2) 그때 G를 accept하는 automaton이 halt되기 때문에, 무승부가 있는 게임 자체는 계산가능합니다. 보다 정확히 말하자면, 무승부를 포함한 게임의 승부를 결정하는 것은 computable합니다. 실제로는 시간이 초과한 쪽..