16.3 게임의 형식적 정의와 구성 요소