외연적 내포적 전략

초록

이 논문은 전략을 추상적 환원 시스템의 파생 집합으로 정의하는 외연적 관점과, 그 집합을 실제로 생성하는 절차를 기술하는 내포적 관점을 제시한다. 두 정의 사이의 변환 가능성을 조사하고, 외연적 전략 중 어떤 것이 내포적으로 구현될 수 있는지를 형식적으로 규정한다. 또한 내포적 전략의 논리적 기술 가능성을 탐색하고 향후 연구 과제를 제시한다.

상세 분석

논문은 먼저 추상 환원 시스템(ARS)을 (객체, 규칙, 전이) 삼중항으로 정의하고, 파생(derivation)을 규칙 적용의 연속으로 형식화한다. 외연적 전략은 이러한 파생들의 집합 S⊆Der(ARS) 로서, 전략이 허용하는 모든 계산 경로를 명시적으로 기술한다는 점에서 ‘외연적’이라고 명명한다. 이 정의는 매우 일반적이며, 임의의 조건을 만족하는 파생을 자유롭게 포함할 수 있다. 그러나 실제 구현에서는 파생을 일일이 열거하는 것이 비현실적이므로, 논문은 ‘내포적’ 전략을 도입한다. 내포적 전략은 상태와 메타데이터(예: 히스토리, 우선순위)를 입력으로 받아 다음에 적용할 규칙을 결정하는 함수 f:Conf→℘(Rule) 로 표현된다. 여기서 Conf는 현재 객체와 전략 내부 상태의 조합이며, f는 결정적이거나 비결정적일 수 있다.

핵심 기여는 두 정의 사이의 정밀한 대응 관계를 증명한 것이다. 저자는 ‘정규성(regularity)’이라는 개념을 도입해, 외연적 전략 S가 ‘유한 상태 자동화’에 의해 인식될 때, 즉 S가 정규 언어로 표현될 때에만 내포적 전략으로 구현 가능함을 보인다. 구체적으로, S가 유한 자동화 A=(Q,Σ,δ,q0,F) 로 인식될 경우, 각 상태 q∈Q 를 메타데이터로 취급하고, f(q, a)= { r∈Rule | δ(q, a)=q’ } 와 같이 정의하면 A가 생성하는 모든 파생을 정확히 재현한다. 반대로, 내포적 전략이 유한 메모리(즉, 유한 상태 집합)만을 사용한다면, 그가 정의하는 파생 집합은 항상 정규 언어가 된다. 따라서 ‘정규성’은 외연적·내포적 전략 사이의 완전성 기준이 된다.

논문은 또한 내포적 전략의 논리적 기술을 시도한다. 여기서는 전략 함수를 일종의 고정점 연산자로 보며, 모달 논리와 전이 시스템 논리를 결합한 ‘전략 논리’를 제안한다. 전략 논리의 기본 원자식은 “현재 객체 x에서 규칙 r을 적용할 수 있다”이며, 이를 □, ◇ 같은 시공간 연산자로 조합한다. 저자는 이 논리를 이용해 내포적 전략의 정의를 형식화하고, 전략 합성(연속, 선택, 반복) 연산자를 논리적 연산으로 해석한다.

마지막으로, 저자는 현재 연구의 한계와 향후 과제를 제시한다. 첫째, 무한 상태 메모리를 허용하는 내포적 전략(예: 스택 기반)의 표현력과 외연적 전략 사이의 관계는 아직 미정이다. 둘째, 전략 논리의 완전성 및 결정성 검증 메커니즘이 필요하다. 셋째, 실제 프로그래밍 언어와 리라이트 시스템에 적용하기 위한 효율적인 구현 기법이 요구된다. 이러한 과제들은 전략 이론을 실용적인 도구로 전환하는 데 핵심적인 연구 방향을 제공한다.