☆ 수행 가능한 수행규칙

* 바둑의 정의 :

1. 바둑은 두 대국자가 돌을 이용하여 바탕(판)에서 밭을 구체화하는 것이다.
   
   
2. 바둑은 두 대국자에게 모두 유효한 밭이 없으면, 종국이다.
   
   
3. 바둑은 두 대국자가 수행규칙을 교(대순)차로 적용한다.

* [수행규칙] 적용을 위한 여울의 구조와 기능 - 완료.
3. 여울자리 :  여울을 발생시키는 자리이다.

31. 여울자리(p) = { 두울자리(p) or 한울자리(p) or 빈울자리(p).}

2. 두울의 완료 :

21. 여울(두울(p)) = { 두울(연속/단속)이음의 완료일 때 발생한다.}

22. 두울자리(p) = 여울 안에서, { 두울이음의 완료인 안섬쌍(p)n의 맺음자리(p). }
                        or 여울 밖에서, { 서로 맞섬일 안섬쌍(p)n의 맺음자리(p). } 

1. 한울의 완료 :

11. 여울(한울(p)) = { 올둑(p)이 섬자리(p)를 포함할 때 발생한다.}
    ex) 섬자리(p) = { 올둑(p)에 포함된 자리(p)가 오직 하나일 때. } 

12. 한울자리(p) = { 올둑(p)의 섬자리(p)인 맺음자리(p). }

0. 빈울의 완료 :

01. 여울(빈울(p)) = { 빈둑(p)이 숨자리(p)를 포함할 때 발생한다.}
    ex) 숨자리(p) = { 둑(p)이 오직 하나의 자리(p)만 포함.}
    ex) 빈둑(p) = { 둑(q)n }
    ex) 공유자리 = { 둘 이상의 돌둑에 동시에 이웃하는 자리이다.}

02. 빈울자리(p) = { 빈둑(p)의 숨자리(p)인 맺음자리(p). }

 ※ 수행규칙 적용을 위한 우선성은 ( 두울 → 한울 → 빈울 )의 순서이다.


*
ㅇ 수행가능한 [수행규칙] :

0. [ 읽  기 ] :  여울을 열어 짓는다.

▷  올 둘러섬이 모두 여울에 포함이면,
     여울자리(p)를 받을 수 없다.

(단, [빈울]에서는 올 둘러섬의 공유자리가 둘 이상이면,~)

1. [ 지우기 ] :  섬인 돌둑(p)n의 돌(p)n을 모두 낳아 버린다.

2. [ 쓰  기 ] :  오로지 하나의 돌(p)을 자리(p)에 받아 놓는다.

(08/09/11).
[~]  ☆ 진행규칙을 위한 기능적 정의