트리 자동산산산 선형 순서의 단어 자동성은 결정 가능

초록

이 논문은 트리 자동 구조인 산란 선형 순서에 대해, 주어진 트리 자동 표현이 실제로 단어 자동 표현으로도 가능한지를 판단하는 문제를 다룬다. 저자들은 이러한 결정 문제를 해결할 수 있음을 증명하고, 긍정적인 경우에는 트리 자동 프레젠테이션으로부터 단어 자동 프레젠테이션을 효과적으로 구성하는 알고리즘을 제시한다.

상세 분석

트리 자동 구조는 도메인을 정규 트리 언어로 인코딩하고, 관계를 동기식으로 여러 트리를 동시에 읽는 유한 자동기로 인식할 수 있는 모델이다. 반면 단어 자동 구조는 보다 제한된 형태의 트리, 즉 일차원 선형 트리(문자열)만을 사용한다. 두 모델 사이의 차이는 표현력뿐 아니라 복잡도와 결정 가능성에도 큰 영향을 미친다. 특히 선형 순서는 구조적 복잡성이 낮아 보이지만, 산란(Scattered)이라는 추가 제약—즉 순서가 밀집되지 않고, 어떠한 밀집된 복사본도 포함하지 않는다—이 붙으면 자동성 판정 문제는 미묘해진다. 기존 연구에서는 일반적인 트리 자동 선형 순서에 대해 단어 자동성 여부를 결정하는 것이 불가능하거나, 최소한 현재 알려진 방법으로는 해결되지 않는 것으로 알려져 있었다.

본 논문은 이러한 공백을 메우기 위해 두 가지 핵심 아이디어를 도입한다. 첫째, 산란 선형 순서의 구조적 특성을 이용해 트리 자동 표현을 “정규 형태”로 변환한다. 여기서 정규 형태란 트리의 각 노드가 일정한 깊이와 형태를 갖도록 재구성하는 과정으로, 이를 통해 트리 자동 구조를 일종의 “압축된 문자열” 형태로 해석할 수 있다. 둘째, 압축된 형태에 대해 “단어 자동성 테스트”를 수행하는 결정 절차를 설계한다. 이 절차는 주어진 트리 자동 관계를 동기식 자동기( synchronous automaton)로부터 등가인 단어 자동 관계로 변환 가능한지를 검사한다. 핵심은 산란성으로 인해 발생하는 “분기 제한”을 활용해, 트리의 분기 패턴이 결국 유한한 종류의 문자열 패턴으로 환원된다는 점을 보이는 것이다.

기술적으로는 먼저 트리 자동 선형 순서의 레이시컬 구조를 분석해, 각 구간(interval)이 유한 개의 유형(type)으로 분류될 수 있음을 증명한다. 그런 다음, 각 유형에 대응하는 “문자열 블록”을 정의하고, 블록 사이의 전이 관계를 유한 자동기로 모델링한다. 이때 전이 자동기는 기존 트리 자동기의 동기식 동작을 시뮬레이션하면서도, 블록 레벨에서는 순수히 문자열 기반이 된다. 전이 자동기의 상태 공간은 산란성에 의해 제한되므로, 전체 자동기의 크기는 결정 가능하게 계산 가능하다.

마지막으로, 전이 자동기를 이용해 얻은 문자열 기반 관계가 실제로 원래 트리 자동 관계와 동등함을 검증한다. 이 검증 단계는 두 자동기 사이의 동형성(isomorphism) 문제로 환원되며, 이는 정규 언어의 동등성 검사와 동일한 복잡도로 해결된다. 따라서 전체 알고리즘은 결정 가능하며, 입력 트리 자동 프레젠테이션으로부터 직접 단어 자동 프레젠테이션을 구성할 수 있다.

이러한 접근법은 산란 선형 순서라는 제한된 클래스에 특화된 것이지만, 트리 자동 구조의 일반적인 복잡성을 감소시키는 새로운 방법론을 제시한다는 점에서 의미가 크다. 특히, 자동 구조 이론에서 “표현 변환 가능성”을 판단하는 첫 번째 결정 알고리즘으로서, 향후 더 넓은 클래스(예: 비산란 선형 순서나 부분 순서)에 대한 확장 가능성을 탐색하는 발판이 된다.