두울은 순환이 불가능한 경우를 확실하게 알아야 합니다.
그 자체로 순환이 불가능한 구조가 있습니다.
{ { 연속인 두울 } }
↑ : 가능돌둑(p)과 돌둑(q)n을 비교.
{ { 단속인 두울 } }
↑ : 가능돌둑(p)과 가능돌둑(q)n을 포함하여 비교.
{ { 순환 가능한 두울 } }
↑ : {마주섬 & 안에섬} < 2
{ { 두 울 } }
↑ : 서로 섬인 경우
ㅇㅇㅇ
두울은 형태(안섬쌍)를 그 대상으로 합니다.
따라서 안섬쌍의 돌둑이 섬인가? 가 아니라,
안섬쌍이 맺음(완료)인가? 를 묻습니다.
두울에서는 섬이 아니어도 안섬쌍을 완료하는 맺음자리는 놓음할 수 없게 합니다.
왜냐하면 순환을 배제하기 위해서....