비동기 다중테이프 자동자 교집합의 불가능성 및 근사 알고리즘

초록

비동기적으로 움직이는 다중테이프 유한 상태 자동자는 강력한 표현력을 가지지만 교집합에 대한 폐쇄성을 잃는다. 본 논문은 이러한 자동자들의 교집합 표현 가능성을 조사한다. 부정적인 결과로 교집합이 다시 자동자로 표현될 수 있는지를 판단하는 문제가 반결정 가능조차 아니며, 반면에 저자들은 교집합의 언더앱프록시메이션을 계산하는 알고리즘을 제시하고, 특정 충분조건 하에서는 완전한 교집합을 구성할 수 있음을 보인다. 프로토타입 구현과 실험을 통해 알고리즘의 실용성을 확인한다.

상세 분석

비동기 다중테이프 자동자(Asynchronous Multi‑Tape Automata, AMTA)는 각 테이프의 읽기 머리가 독립적으로 이동할 수 있도록 설계되어, 전통적인 동기식 다중테이프 자동자보다 훨씬 넓은 언어 클래스를 인식한다. 이러한 자유도는 특히 다중변수(폴리adic) 문자열 관계를 모델링할 때 유용하지만, 동시에 중요한 폐쇄성—특히 교집합에 대한 폐쇄성—을 상실한다는 단점이 있다. 논문은 먼저 AMTA의 교집합 문제를 형식적으로 정의하고, 이를 기존의 결정론적·비결정론적 자동자 이론과 비교한다. 저자들은 교집합이 다시 AMTA로 표현될 수 있는지를 묻는 문제를 “표현 가능성 결정 문제”(Expressibility Decision Problem)라 명명하고, 이 문제가 반결정 가능조차 아니며, 즉 반증을 위한 알고리즘조차 존재하지 않음을 증명한다. 증명은 튜링 기계의 무한 반복 문제와의 귀환을 이용해, AMTA 교집합이 비공허한 경우와 비공허하지 않은 경우를 구분할 수 없음을 보인다.

긍정적인 측면에서는, 완전한 교집합을 구할 수 없더라도 실용적인 언더앱프록시메이션을 제공하는 알고리즘을 설계한다. 핵심 아이디어는 각 자동자의 전이 그래프를 탐색하면서 동기화 가능한 상태 쌍을 찾아내고, 가능한 동기화 지점을 기준으로 부분 교집합을 구성하는 것이다. 이 과정에서 “동기화 포인트”(synchronization points)와 “지연 전이”(delayed transitions)를 명시적으로 관리함으로써, 비동기성을 제한된 형태로 제한한다. 알고리즘은 기본적으로 BFS 기반의 탐색을 수행하며, 탐색 깊이를 제한하거나 상태 쌍의 수를 제한하는 파라미터를 통해 계산 복잡도를 조절한다.

또한 논문은 몇 가지 충분조건을 제시한다. 첫째, 각 자동자의 테이프 수가 동일하고, 모든 전이가 “동기화 가능”(synchronizable) 형태—즉, 어느 순간에도 모든 테이프가 동일한 위치에 도달할 수 있는 경우—에 해당하면 알고리즘이 완전한 교집합을 반환한다. 둘째, 자동자들이 “정규화된”(normalized) 형태, 즉 각 테이프에 대해 읽기 머리가 절대 뒤로 이동하지 않는 경우에도 완전성을 보장한다. 이러한 조건은 실제 응용에서 흔히 나타나는 문자열 패턴 매칭이나 데이터 흐름 분석 등에 적용 가능하다.

프로토타입 구현은 Python 기반으로 작성되었으며, 상태 공간을 효율적으로 관리하기 위해 해시 기반의 메모이제이션과 비트셋을 활용한다. 실험에서는 두 개 이상의 테이프를 가진 자동자들의 교집합을 구하는 여러 비동기 사례를 테스트했으며, 특히 문자열 동형성 검사, 다중 문자열 정규식 매칭, 그리고 형식 언어 이론에서 등장하는 복잡한 관계(예: “두 문자열이 동일한 길이와 같은 알파벳 집합을 공유한다”) 등을 성공적으로 근사하였다. 결과는 알고리즘이 실용적인 시간 안에 유의미한 언더앱프록시메이션을 제공함을 보여준다.

결론적으로, 비동기 다중테이프 자동자의 교집합 문제는 이론적으로는 불가능에 가깝지만, 제한된 상황이나 실용적인 근사 방법을 통해 충분히 활용 가능하다는 점을 이 논문은 명확히 한다. 이는 형식 언어 이론뿐 아니라, 복잡한 문자열 관계를 다루는 프로그램 분석, 데이터 검증, 그리고 자연어 처리와 같은 분야에 새로운 도구를 제공한다.