결정적 비계층 트리 자동자의 연산 상태 복잡도

초록

이 논문은 결정적 비계층 트리 자동자(DET-UTAs)의 기본 연산인 합집합, 교집합, 그리고 트리 연결에 대한 상태 복잡도를 체계적으로 분석한다. 약한(det‑weak)과 강한(det‑strong) 두 종류의 결정성을 구분하여 각각 상한과 하한을 제시하고, 특히 트리 연결 연산에서는 문자열 연결과는 다른 차수의 상한을 도출한다. 최종적으로 m개의 수직 상태와 n개의 수직 상태를 가진 자동자들의 연결 결과를 인식하기 위해서는 (n+1)((m+1)2ⁿ−2ⁿ⁻¹)−1개의 수직 상태가 필요하고, 이는 최악의 경우에 필요함을 증명한다.

상세 요약

논문은 먼저 비계층 트리 구조와 이를 인식하는 결정적 자동자 모델을 정의한다. 비계층 트리는 각 노드가 가변적인 수의 자식을 가질 수 있는 트리이며, 자동자는 수직 상태(vertical state)와 수평 상태(horizontal state)로 구분된다. 여기서 수직 상태는 트리의 깊이 방향, 즉 부모‑자식 관계를 추적하는 역할을 하며, 수평 상태는 같은 레벨에서의 형제 노드들을 처리한다. 결정적 자동자는 두 가지 강도, 즉 강한(det‑strong)과 약한(det‑weak)으로 나뉜다. 강한 자동자는 모든 입력에 대해 유일한 전이 함수를 갖고, 약한 자동자는 일부 입력에 대해 전이가 정의되지 않을 수 있지만, 전체 언어 인식에는 영향을 주지 않는다.

연산 복잡도 분석은 전통적인 정규 언어 이론에서 문자열 자동자에 대한 상태 복잡도 결과를 트리 자동자에 확장하는 형태로 진행된다. 합집합과 교집합에 대해서는 데카르트 곱(product) 구조를 이용해 상한을 도출한다. 구체적으로, 두 자동자 A와 B가 각각 m과 n개의 수직 상태를 가질 때, 강한 자동자에 대한 합집합은 최대 m·n개의 수직 상태를 필요로 하며, 교집합도 동일한 상한을 가진다. 하한 측면에서는 특수히 설계된 언어 쌍을 통해 이 상한이 실제로 달성될 수 있음을 보인다.

가장 혁신적인 기여는 트리 연결(concatenation) 연산에 대한 복잡도 분석이다. 문자열 연결에서는 두 DFA의 상태 수가 m·2ⁿ−2ⁿ⁻¹ 형태로 나타나지만, 트리 구조의 비계층성 때문에 수직 상태와 수평 상태가 복합적으로 작용한다. 논문은 먼저 연결 연산을 정의하고, 연결된 트리의 루트가 첫 번째 트리의 루트와 동일하게 유지되면서 두 번째 트리의 루트가 첫 번째 트리의 특정 리프에 붙는 형태로 모델링한다. 이때 필요한 수직 상태 수는 (n+1)((m+1)2ⁿ−2ⁿ⁻¹)−1 로 계산된다. 여기서 (n+1) 요인은 두 번째 자동자의 모든 수직 상태와 추가적인 “대기” 상태를 포함한다. 상한 증명은 구성적 방법으로, 각 수직 상태 조합에 대해 가능한 모든 연결 패턴을 고려한 자동자 설계를 제시한다. 하한은 맞춤형 언어 쌍을 이용해, 어떠한 최적화도 이 수를 감소시킬 수 없음을 보이는 반증 논법을 사용한다.

또한, 강한 자동자와 약한 자동자 사이의 차이를 정밀히 분석한다. 두 모델 모두 동일한 상한과 하한을 공유하지만, 약한 자동자는 전이 정의가 불완전한 경우에도 동일한 복잡도 결과를 유지한다는 점에서 실용적인 구현에 유리하다. 논문은 이러한 차이를 정리표와 함께 제시하고, 실제 XML 처리 시스템 등에서 비계층 트리 자동자를 적용할 때 고려해야 할 설계 지침을 제공한다.

전체적으로 이 연구는 트리 자동자 이론에 연산 복잡도라는 새로운 차원을 도입했으며, 특히 트리 연결 연산에서 기존 문자열 이론과는 다른 차수의 복잡도가 발생한다는 사실을 명확히 증명한다. 이는 트리 기반 데이터 모델링, XML 스키마 검증, 그리고 구조적 검색 엔진 등 실무 분야에 직접적인 영향을 미칠 수 있다.