행렬 제어 삽입·삭제 시스템

초록

본 논문은 삽입·삭제 규칙을 행렬 형태로 제어하는 새로운 계산 모델을 제안한다. 컨텍스트 자유 혹은 컨텍스트 의존적 규칙을 최대 두 기호까지 제한하면서도, 이진 행렬만을 사용하면 튜링 완전성을 달성함을 증명한다.

상세 분석

논문은 기존의 삽입·삭제 시스템이 단일 규칙 적용 방식으로는 제한된 계산 능력을 가졌다는 점을 출발점으로 삼는다. 여기서 저자들은 ‘행렬’이라는 제어 메커니즘을 도입한다. 행렬은 규칙들의 순서를 고정된 블록(예: 두 개의 규칙)으로 묶어, 그 블록 전체가 연속적으로 적용되어야만 다음 블록으로 넘어갈 수 있게 하는 구조이다. 이 방식은 문맥 자유 문법에서 행렬 제어가 파워를 크게 늘리는 것과 유사하게, 삽입·삭제 연산에도 동일한 효과를 부여한다.

주요 기술적 기여는 두 가지이다. 첫째, 삽입·삭제 규칙을 ‘컨텍스트 자유’와 ‘컨텍스트 의존적’ 두 형태로 구분하고, 각각 최대 두 기호(삽입·삭제 대상 혹은 주변 컨텍스트)만을 허용한다는 엄격한 제한을 두었다. 이는 규칙 자체를 매우 단순하게 만들면서도, 행렬 제어를 통해 복잡한 계산을 구현할 수 있음을 보여준다. 둘째, 행렬의 크기를 이진(두 규칙)으로 제한했음에도 불구하고, 이러한 시스템이 튜링 머신을 시뮬레이션할 수 있음을 증명한다. 구체적으로, 저자들은 임의의 재귀적 언어를 생성하기 위해 필요한 스택 동작을 삽입·삭제 규칙의 조합으로 구현하고, 행렬을 이용해 스택의 푸시·팝을 순차적으로 제어한다.

증명 과정에서는 먼저 ‘표준 형태’의 삽입·삭제 규칙을 정의하고, 이를 행렬 형태로 변환하는 변환 함수를 제시한다. 변환 후 얻어지는 시스템은 원래 언어와 동등한 언어를 생성한다는 동등성 정리를 제시한다. 이어서, 이진 행렬만을 사용했을 때도 충분히 복잡한 제어 흐름을 만들 수 있음을 보이기 위해, ‘두 단계 전이’와 ‘조건부 전이’ 메커니즘을 설계한다. 이러한 메커니즘은 기존의 문맥 자유 행렬 문법에서 사용된 기법을 삽입·삭제 연산에 맞게 재구성한 것이다.

또한, 논문은 삽입·삭제 규칙의 ‘컨텍스트’가 0, 1, 혹은 2개의 심볼로 제한될 때와, 행렬 크기가 2일 때의 계산 복잡도를 비교한다. 실험적 예시와 이론적 분석을 통해, 규칙 수와 행렬 크기의 제한이 계산 능력에 미치는 영향을 정량적으로 평가한다. 결과적으로, 규칙 자체는 매우 제한적이지만, 행렬 제어가 제공하는 ‘동시 적용’과 ‘순차적 전이’의 조합이 계산 능력을 급격히 상승시킨다.

이 논문은 삽입·삭제 시스템에 행렬 제어를 도입함으로써, 기존 연구에서 불가능하다고 여겨졌던 튜링 완전성을 최소한의 규칙 복잡도와 행렬 크기로 달성할 수 있음을 최초로 보여준다. 이는 형식 언어 이론에서 규칙 기반 시스템의 표현력을 재평가하게 하는 중요한 결과이며, 향후 제한된 연산자 집합을 활용한 효율적인 언어 설계 및 자동화 도구 개발에 이론적 토대를 제공한다.