정규 트리 표현식의 K포지션과 팔로우 자동화

초록

이 논문은 정규 트리 표현식으로부터 네 종류의 트리 자동화를 정의한다. 기존 단어 자동화인 위치, 팔로우, 방정식, C‑연속 자동화를 트리 버전인 K‑포지션 자동화와 팔로우 자동화로 확장하고, 기존의 방정식 자동화와 K‑C‑연속 자동화와의 동형 관계를 증명한다. 또한 팔로우 자동화와 방정식 자동화 사이에 동형 관계가 없음을 보이며, 두 자동화를 결합한 더 작은 자동화를 제시한다.

상세 분석

본 연구는 정규 트리 언어의 표현력을 유지하면서 자동화 구조를 체계화하는 데 초점을 둔다. 먼저, 기존 단어 기반 위치 자동화(P)와 C‑연속 자동화(C)의 트리 버전인 K‑포지션 자동화(P_k)를 정의한다. 여기서 k는 랭크가 k인 함수 기호를 k개의 상태로 분해한다는 의미이며, 이는 McNaughton‑Yamada의 k‑ary 전이 모델을 트리 구조에 적용한 것이다. P_k는 First, Follow, Last 함수의 트리 버전을 이용해 상태 집합을 구성하고, 각 기호의 자식 위치에 따라 전이 규칙을 생성한다. Follow 함수는 특정 기호 f와 그 k번째 자식 g 사이의 직접적인 후속 관계를 계산하며, 이를 통해 자동화의 전이 테이블을 효율적으로 구축한다.

다음으로, 팔로우 자동화(F) 를 트리 형태로 확장한다. F는 P_k에서 동일한 Follow 집합을 상태 동등성 관계로 사용해 상태를 병합함으로써, 불필요한 중복을 제거한다. 논문은 F가 P_k의 quotient임을 증명하고, 이 과정에서 동형 관계가 유지되는 조건을 명시한다. 특히, 트리 자동화에서 상태 동등성은 전이 함수에 대한 합동(congruence)이어야 함을 강조하며, 이를 위해 특수한 similarity relation을 정의한다.

방정식 자동화(E)는 Kuske와 Meinecke가 제시한 트리 파생(derivative) 기반이다. E는 부분 파생 집합을 상태로 사용하고, 각 파생은 정규 트리 표현식의 부분 미분 결과를 나타낸다. 논문은 E가 C‑연속 자동화(C_k)의 quotient임을 보이며, C_k가 First와 Follow 정보를 이용해 구성된다는 점을 활용한다. 이를 통해 E와 C_k 사이의 동형 사슬을 완성한다.

마지막으로, 팔로우 자동화와 방정식 자동화 사이에 직접적인 동형 관계가 존재하지 않음을 반증한다. 두 자동화는 각각 다른 동치 관계(팔로우 기반 vs 파생 기반)를 사용하므로, 공통된 최소 자동화를 얻기 위해서는 Garcia 등(2010)의 합성 방법을 확장한 새로운 동등 관계를 도입한다. 이 새로운 자동화는 상태 수를 더욱 감소시켜, 실용적인 트리 커널 라이브러리 구현에 유리하다.

전체적으로, 논문은 정규 트리 표현식에 대한 네 종류 자동화의 정의, 상호 관계, 그리고 최소화 전략을 체계적으로 제시함으로써, 트리 기반 언어 처리와 커널 설계에 중요한 이론적 기반을 제공한다.