클래식 양방향 자동자와 자갈 자동자의 변환 연구

초록

본 논문은 전통적인 양방향 유한 자동자와 입력 테이프 위에 이동 가능한 ‘자갈( pebble)’을 추가한 확장 모델 사이의 상태 복잡도 관계를 조사한다. 기존에 알려진 바와 같이 두 모델 간에 다항적 상태 변환이 가능한지는 미해결 문제였으나, 저자들은 클래식 양방향 자동자에서 다항적 변환이 가능하면 동일한 변환이 자갈 자동자에도 적용될 수 있음을 증명한다. 핵심은 자갈 자동자를 적절히 변형된 입력을 이용해 선형 상태 수의 클래식 양방향 자동자로 시뮬레이션하고, 그 역도 가능함을 보이는 것이다. 이 결과는 결정론적·비결정론적 양방향 자동자 사이의 다항적 차이가 존재한다면, 자갈 자동자에서도 동일한 차이가 존재한다는 ‘위쪽 붕괴’를 제시한다. 또한, 비결정론적 양방향 자동자의 보완성에 대해서도 동일한 위쪽 붕괴가 성립한다는 부가적인 결론을 얻는다.

상세 분석

논문은 먼저 두 종류의 기계, 즉 전통적인 양방향 유한 자동자(TWFA)와 자갈을 하나 보유한 양방향 유한 자동자(Peeble‑TWFA)를 정의한다. 양방향 자동자는 입력을 왼쪽·오른쪽으로 자유롭게 이동하면서 상태 전이를 수행하고, 결정론적(DFA)과 비결정론적(NFA) 두 형태가 존재한다. 자갈 자동자는 현재 자갈이 놓인 위치를 기억하고, 자갈을 이동시키는 전이 규칙을 추가로 갖는다. 이러한 추가 메모리는 언어 인식 능력을 강화하지만, 정규 언어 범위 내에 머무른다.

핵심 기술은 ‘입력 변환’ 기법이다. 저자들은 임의의 자갈 자동자 M을 주어진 입력 w에 대해, w의 각 가능한 자갈 위치 i(0≤i≤|w|)를 표시하는 마킹 기호를 삽입한 새로운 문자열 w′를 구성한다. w′는 원래 문자열을 여러 번 복제하고, 각 복제 사이에 구분자를 두어 자갈이 위치할 수 있는 모든 경우를 명시한다. 이렇게 구성된 w′를 사용하면, 전통적인 양방향 자동자 A가 자갈의 존재와 이동을 ‘가상적으로’ 추적할 수 있다. 구체적으로 A는 현재 읽고 있는 구간이 어느 복제에 해당하는지를 상태에 저장하고, 자갈 이동 명령이 발생하면 해당 복제로 전이함으로써 자갈 위치를 업데이트한다. 이 과정에서 필요한 상태 수는 M의 상태 수에 상수 배를 더한 선형 규모이며, 자갈의 이동 횟수와 무관하게 동일한 변환이 적용된다.

반대로, 전통적인 양방향 자동자 B를 자갈 자동자로 시뮬레이션하는 경우에도 유사한 아이디어가 적용된다. B의 상태와 현재 헤드 위치만으로 충분히 자갈 없는 동작을 기술할 수 있기 때문에, 자갈 자동자는 B의 상태를 그대로 차용하고, 자갈을 사용하지 않는 전이만을 정의한다. 따라서 두 모델 간의 변환에서 발생하는 상태 폭발은 지수적이 아니라 선형에 가깝다.

이러한 상호 시뮬레이션 결과를 바탕으로 저자들은 ‘다항적 상태 변환’ 가정의 함의 관계를 도출한다. 구체적으로, 클래식 양방향 자동자 사이에 결정론적↔비결정론적 변환이 다항식 f(n)으로 가능하다고 가정하면, 동일한 다항식 상수배로 자갈 자동자 사이에도 변환이 가능함을 증명한다. 이는 ‘위쪽 붕괴(upward collapse)’라 부르며, 더 강력한 모델(자갈 자동자)의 복잡도 한계가 약한 모델(클래식 양방향 자동자)의 한계에 종속된다는 의미다. 또한, 비결정론적 양방향 자동자의 보완성에 대한 동일한 논증을 제시함으로써, 보완 연산에서도 같은 위쪽 붕괴가 성립함을 보인다.

결과적으로, 이 논문은 기존에 알려진 ‘클래식 양방향 자동자와 자갈 자동자 사이의 지수적 격차’를 실제로는 선형 수준으로 축소할 수 있음을 보여준다. 이는 두 모델이 정규 언어 클래스 내에서 본질적으로 동등한 표현력을 갖지만, 상태 복잡도 관점에서는 서로 강하게 연결되어 있음을 시사한다. 또한, 다항적 변환 문제에 대한 새로운 접근법을 제공함으로써, 향후 결정론적↔비결정론적 변환이나 보완성 문제를 연구하는 데 중요한 이론적 토대를 마련한다.