16.14 완전 정보 게임(Perfect Information Game)의 형식적 정의