☆ 형식게임(formal games)의 특성들...

♠
형식게임이란 어떤 판도에 이르기 위해 일정한 규칙들에 의거하여 토큰(말/돌)을 움직이는 게임이다.

비형식게임과 구별하는 세 가지 특성들...
  1. 말이나 돌과 같은 토큰(token)을 다룬다.
  2. 수치화할 수 있다.
  3. 놀이에 참여하는 선수가 유한하다.

형식게임(체계)의 특성들...
  1.  자기귀속적(self-dontained)이다.
      체계 외부 세계와 관련되는 의미의 문제에서 제외된다.
      외부 세계에 체계의 규칙을 그대로 적용할 수 없다.

  2. 매체 독립적이다.
      질료의 구속으로부터 자유롭다.

  3. 디지털 시스템이다-재생 반복이 가능하다.
     쓰기/읽기 돌림(write/read cycle) 기술들의 집합이다.
     1) 토큰 쓰기 ; 특정한 유형 하나를 산출하는 것이다.
     2) 토큰 읽기 ; 산출된 유형이 무엇인지 규정(확인)하는 것이다.

참여자가 갖추어야 할 능력(조건)들...
  1. 어떤 수를 두고자 할 때 그 수가 합법적인지 판별할 수 있어야 한다.
  2. 합법적인 수순을 산출할 수 있어야 한다.
  3. 비합법적인 수를 밝힐 수 있어야 한다.

  ☞  규칙을 따르는 능력(rule-following abilities)이다-알고리즘으로 규정된다.
       알고리듬(algorithm)은,사전에 몇 단계라는 것이 결정되지 않는다고 할지라도,
       언제나 정해진 결과를 산출하는 절차가 유한단계이어야 하고,
      그 유한절차를 거치면 실증적으로 성공이 보증된다는 의미에서 오류불가능해야 한다.
♤