그래프 제어 삽입 삭제 시스템

초록

본 논문은 삽입·삭제 규칙을 그래프 형태의 제어 구조와 결합한 형식 시스템을 제안한다. 컨텍스트 자유 혹은 제한된 컨텍스트(두 심볼 이하)만을 허용하면서도, 네 개의 노드만으로 구성된 제어 그래프를 이용하면 튜링 완전성을 달성할 수 있음을 증명한다. 이는 기존의 삽입·삭제 시스템보다 계산 능력이 크게 향상된다는 것을 의미한다.

상세 요약

논문은 먼저 기존의 삽입‑삭제 시스템을 복습하고, 그 한계가 컨텍스트 자유 규칙만을 사용할 경우 비결정적 언어군에 머무른다는 점을 지적한다. 이어서 ‘그래프‑제어’라는 새로운 메커니즘을 도입한다. 여기서 그래프는 유한한 상태 집합(노드)과 그 사이의 전이(에지)로 구성되며, 각 노드에 삽입·삭제 규칙 집합이 할당된다. 시스템은 현재 문자열과 현재 노드 상태를 동시에 고려해 적용 가능한 규칙을 선택하고, 규칙 적용 후 지정된 다음 노드로 이동한다. 이 구조는 전통적인 문자열 기반 제어와 달리, 규칙 적용 순서를 외부 그래프가 강제함으로써 계산 흐름을 정밀하게 조절한다.

주요 기술은 두 가지 제한된 형태의 규칙이다. 첫 번째는 ‘컨텍스트 자유 삽입·삭제’로, 삽입·삭제 대상이 문자열의 어느 위치든 상관없이 한 심볼만을 추가하거나 제거한다. 두 번째는 ‘컨텍스트 제한 삽입·삭제’로, 삽입·삭제가 최대 두 심볼의 주변 컨텍스트(좌·우)와 결합된다. 이러한 제한에도 불구하고, 저자는 네 개의 노드만을 가진 제어 그래프를 설계해 튜링 기계의 모든 기본 연산(복사, 이동, 조건 분기 등)을 시뮬레이션한다. 구체적으로, 각 노드는 ‘읽기’, ‘쓰기’, ‘조건 검사’, ‘전이’와 같은 역할을 담당하고, 에지는 해당 연산 후 다음 단계로 이동하도록 정의된다.

증명 과정에서는 먼저 임의의 튜링 기계 M을 고정하고, M의 구성(테이프, 헤드 위치, 상태)를 문자열 형태로 인코딩한다. 그런 다음, 네 노드 그래프와 제한된 삽입·삭제 규칙 집합을 구성해 M의 한 스텝을 정확히 모방하도록 만든다. 특히, 두 심볼 이하의 컨텍스트를 이용해 헤드 이동과 상태 전이를 구현하는 방법이 핵심이다. 이때 그래프의 전이 구조가 조건 분기를 담당해, 현재 상태와 테이프 심볼에 따라 서로 다른 규칙 집합을 선택하게 된다. 결과적으로, 시스템은 무한히 진행되는 계산을 수행할 수 있으며, 언어 인식 측면에서도 모든 재귀적으로 열거 가능한 언어를 받아들일 수 있음을 보인다.

마지막으로, 저자는 제어 그래프의 노드 수를 최소화하는 것이 중요한 연구 과제임을 강조한다. 네 개의 노드가 충분함을 보였지만, 더 작은 그래프(예: 세 노드)로도 동일한 계산 능력을 얻을 수 있는지 여부는 아직 미해결 문제이다. 또한, 그래프‑제어 삽입·삭제 시스템과 기존의 문맥 민감 혹은 문맥 자유 문법 사이의 형식적 관계를 탐구함으로써, 형식 언어 이론 전반에 새로운 통합 프레임워크를 제공한다는 점에서 의의가 크다.