* 바둑규칙과 관련한 의견을 모으고 있습니다...

2. [바둑의 구성요소] :  { (p, q), 돌, 판 }이다.
 --- ( 굵은 글씨 (p)는 구조, 일반 글씨 (p)는 기능을 이름한 것이다. )

21. (p, q) :  오직 두 종류의 양립불가능(|)한 구분이다. 
211. (p,q)이음( 돌, 판) :   
    ex) 가능성으로만 존재한다.

22. 돌 :  표시기호이다. 
221. 돌이음( (p|q), 판) :
    ex) 자리(p) = { 자리 * (p) }

23. 판 :  충분히 유한한 직교좌표 평면이다.
    ex) 19 x 19, 13 x 13, 5 x 5, .... 
231. 판이음( (p|q), 돌 ) :
    ex) 돌(p) = { 돌 * (p) }
232. 판의 단위 : { 밭 }이다.

2321. [밭의 구성요소] :  { 자리, 둑, 밭 }이다.
23211. 자리 :  서로 이웃한 둑과 둑이 교차하는 곳인 점이다.
23212. 둑 :  서로 이웃한 밭과 밭이 마주하는 경계인 선이다.
23213. 밭 :  서로 이웃한 자리와 둑으로 둘러싸인 면이다.

    ☞  포함관계 ;  돌(p) ⊂ 자리(p) ⊂ 둑(p) ⊂ 밭(p)

3. [바둑의 이음] : { 형식1 * 형식2 }을 결합하여 하나로 기능하는 것이다.

31. 판 밖에서 이음 : 

311. 가능성의 받음과 버림( 자리, 형식 )
3111. 자리에로 받음 :  어떤 형식이 판 안으로 진입하는 것이다.
    ex) 자리(p) = { 자리 * (p) }
          한울(p) = { { 자리 * (p) } * 한울 }
3112. 자리에서 버림 :  어떤 형식이 판에서 퇴거하는 것이다.
    ex) 자리(p)에서 자리와 (p)의 분리이다.

312. 수행성의 놓음과 낳음( 자리(p), 돌(p|q) )
3121. 자리에로 놓음 :  어떤 형식을 판 안으로 수용하는 것이다.
    ex) 돌(p) = { 자리(p) * 돌(p) }
3122. 자리에서 낳음 : 어떤 형식을 판에서 배제하는 것이다.
    ex) 돌(p)에서 돌(p)과 자리(p)의 분리이다.

32. 판 안에서 이음 :

321. 자리이음( 둑n, 형식 )
    ex) 자리(p) = { 자리(p) * 둑n }
           돌(p) = { 돌(p) * 둑n }
322. 둑이음( 둑n, 형식1, 형식2 )    ( 단, 형식1 == 형식2 )
    ex) 둑(p) = { 자리(p)m * 둑i * 자리(p)n }
          돌둑(p) = { 돌(p)m * 둑j * 돌(p)n }
3221. 이웃(이음)관계( 둑n, 형식1, 형식2 )  ( 단, 형식1 !== 형식2 )
    ex) 이음(이웃)자리(p) = { 돌둑(p) * 둑n * 자리(r) }
          이웃(이음)돌둑(q) = { 자리(p) * 둑n * 돌둑(q) }
323. 밭이음( 밭n, 형식1, 형식2 ) 
    ex) 빈울, 한울, 두울...

4. 이음의 형식(돌둑과 섬) :

41. 돌둑 :
411. 둑(p) = { 자리(p) or  둑이음인 자리(p)n }
412. 돌둑(p) = { 돌(p) or  둑이음인 돌(p)n }
413. 올둑(p) = { 둑(p)m과 돌둑(p)n이 이웃하는 조합 }

42. 섬 :
421. 섬(q)n = { 올둑(q)n에 포함되는 자리가 없음.} or { 돌둑(q)n에 이웃하는 자리가 없음.}
422. 마주섬(q)n = { 돌둑(p)에 대해서, 돌둑(q)n의 모든 돌(q)이 돌둑(p)과 이웃하고 섬일 때.}
4221. 맞섬 = { 돌둑(q)n의 모든 돌이 돌둑(p)의 돌과 서로 1:1 대응으로 이웃(이음)관계일 때. }
423. 안에섬(q)n = { 돌둑(q)n이 돌둑(p)에 포함이고 섬일 때.}
    ex) 돌둑(p)의 안에섬(q) = { 돌둑(p)에 의해서 섬인 돌둑(q).}

    ☞  포함관계 ;  섬(p) ⊃ 마주섬(p) ⊃ 안에섬(p)


5. [여울의 구성요소] :  { 안섬, 둘러섬 }이다.

51. 맺음자리와 여울자리 :
511. 맺음자리 = { 어떤 형태를 돌둑으로 구체화(결정)할 수 있는 자리.}
    ex) 안섬의 맺음자리(p) = { 안섬쌍(p)이 오직 하나의 자리(p)만을 포함할 때.}
512. 여울자리(p) = { 빈울자리(p) or 한울자리(p) or 두울자리(p).}

52. 여울의 구조 :  < 안섬, 둘러섬 >인 규칙의 순환을 가능하게 하는 구조이다.
521. 안  섬 = { 둘러섬에 의해서 결정되는 구조.}
    ex) 안섬(p) = { 돌둑(q)n에 의해서 결정되는 올둑(p).}
522. 둘러섬 = { 어떤 형태를 결정하는 결정된 구조.}
    ex) 둘러섬(q)n = { 안섬(p)를 결정하는 돌둑(p)n.}


6. [여울의 종류] :  { 빈울, 한울, 두울 }이다.

61. 빈울< 안섬 빈둑(p), 둘러섬 돌둑(p)n > :
    ex) 빈둑(p) = { 둑(p)의 모든 자리(p)가 {자리(p) 혹은 돌둑(p)n}에 이웃할 때.}
611. 여울(빈울(p)) = { 빈둑(p)이 숨자리(p)를 포함할 때 발생한다.}
    ex) 숨자리(p) = { 둑(p)이 오직 하나의 자리(p)만 포함.}
612. 빈울자리(p) = { 빈둑(p)의 숨자리인 맺음자리(p). }

62. 한울< 안섬 올둑(p), 둘러섬 돌둑(q)n > :
    ex) 안섬올둑(p) = { 섬(인)이 가능한 올둑(p)n의 구조.}
621. 여울(한울(p)) = { 올둑(p)이 섬자리(p)를 포함할 때 발생한다.}
    ex) 섬자리(p) = { 올둑(p)에 포함된 자리(p)가 오직 하나일 때. }
622. 한울자리(p) = { 올둑(p)의 섬자리인 맺음자리(p). }

/*
63. 두울< 안섬 쌍(p&q), 둘러섬 쌍(q&p) > :
    ex) 안섬쌍(p)n = { 두울(순환)조건을 만족하는 안섬올둑(p)n.}
631. 여울(두울(p)) = { 두울(연속/단속)이음의 완료일 때 발생한다.}
6311. 여울(두울(p))의 연속 :  { 그 안섬 쌍(p&q)이 서로 섬일 때, }
632. 두울자리(p) = { 여울 안에서, 안섬쌍(p)n의 맺음자리(p).}
                        or { 여울 밖에서, 서로 맞섬인 안섬쌍(p)n의 맺음자리(p). } 

633. 두울의 (순환)조건 :
6330. { 안섬쌍을 모두 돌둑으로 가정하면, 서로섬이다. }
6331. & { 안으로, 안섬쌍(p)이 여울구조를 포함하지 않는다. }
6332. & { 밖으로, 안섬쌍 {마주섬(q)n or 안에섬(q)n}의 합이 하나 이하이다. }

634. 두울이음(p) :  두울조건과 아래의 (1 or 2 )를 만족하는 자리(p)에 돌(p)을 받아 놓음이다. 
    1. 올둑(p)이 여울구조를 포함하지 않을 경우,
        1) { 밖으로, 이웃한 돌둑(q)n의 모든 이음자리가 올둑(p)에 포함이다. }
        2) 이미 { 두울이음인 안섬쌍(p)n의 자리(p). }
    2. 올둑(p)이 여울구조를 포함할 경우,