시각적 논리

동시에 맞는 두 규칙은 같은 답을 주지 않을 수 있다

하나의 중간 형태에서 규칙 A와 규칙 B가 모두 조건을 만족한다고 하자. A를 먼저 적용하면 B의 조건이 사라질 수 있고, B를 먼저 적용하면 A가 다른 재료를 만나게 될 수 있다. 충돌 해결은 단순한 정리 순서가 아니라 가능한 파생 경로를 고르는 일이다.

추상 입력 X와 Y에 왼쪽 규칙 A와 오른쪽 규칙 B를 서로 다른 순서로 적용했을 때 중간 결과와 후속 규칙 C의 가능성이 갈라지는 두 경로
그림 3. 적용 순서가 중간 상태와 후속 규칙을 바꿀 수 있음을 보이는 자체 제작 교육용 모형입니다. X·Y·A·B·C는 원전 예시가 아닙니다.
그림 크게 열기 ↗SVG 저장

그림에서 무엇을 볼까요?

추상 입력 X와 Y에 왼쪽 규칙 A와 오른쪽 규칙 B를 서로 다른 순서로 적용했을 때 중간 결과와 후속 규칙 C의 가능성이 갈라지는 두 경로

하나의 중간 형태에서 규칙 A와 규칙 B가 모두 조건을 만족한다고 하자. A를 먼저 적용하면 B의 조건이 사라질 수 있고, B를 먼저 적용하면 A가 다른 재료를 만나게 될 수 있다. 충돌 해결은 단순한 정리 순서가 아니라 가능한 파생 경로를 고르는 일이다.

그림 3의 X|Y는 실제 산스크리트어가 아닌 교육용 자리표시자다. 왼쪽 요소를 바꾸는 A와 오른쪽 요소를 바꾸는 B가 동시에 켜진 상황을 만든다. A 우선과 B 우선의 중간 결과가 다르면, 다음 규칙 C가 어느 경로에서만 적용될 수도 있다.

← 시각적 논리 그림 더 보기