가중 글루시코프 K‑그래프와 별정규형 알고리즘

초록

이 논문은 정규식 → 비결정적 자동화 변환에서 나타나는 특수한 전이 그래프인 글루시코프 그래프를 가중 버전으로 확장한다. 가중 반공반체 K가 인수분해 가능하고 식이 별정규형(SNF)일 때, 글루시코프 K‑그래프의 구조적 특성(안정성, 전이성, 축소성)을 이용해 K‑표현식을 효율적으로 복원하는 알고리즘을 제시한다.

상세 분석

글루시코프 알고리즘은 원래 부울 논리에서 정규식의 각 문자 발생 위치마다 하나의 상태를 할당하고, 연속 발생 가능한 위치 사이에 전이를 연결함으로써 n개의 문자(문자열 폭)로부터 n+1개의 상태를 갖는 자동자를 만든다. 저자들은 이 아이디어를 가중 유한 자동자(WFA)와 일반적인 반공반체 K에 일반화한다. 핵심은 두 가지 제한조건이다. 첫째, K가 인수분해 가능(factorial)이어야 한다. 인수분해 가능성은 K‑값들의 곱셈이 0이 되지 않도록 보장하고, 알고리즘 단계에서 가중치를 분해·합성하는 연산이 유일하게 정의될 수 있게 한다. 둘째, 입력 K‑표현식이 별정규형(SNF)이어야 한다. SNF는 각 클로저(∗, +) 내부에서 Follow와 First 집합이 교차하지 않도록 하여, 그래프의 각 간선이 정확히 한 번만 생성되는 구조적 단순성을 확보한다. 이 두 조건이 충족되면 글루시코프 K‑그래프는 ‘안정성(모든 상태가 동일한 라벨을 갖는 전이만을 받음)’, ‘전이성(모든 경로가 순환 없이 진행)’ 및 ‘축소성(특정 규칙에 따라 그래프를 단계적으로 단순화)’이라는 세 가지 그래프 이론적 성질을 만족한다.

논문은 먼저 기존의 글루시코프 정규식‑자동자 변환을 K‑가중치와 순서쌍(계수, 위치) 개념으로 재정의한다. 여기서 First, Last, Follow와 같은 함수는 K‑값을 포함하는 집합 연산으로 구현되며, ⊎ 연산을 통해 동일 위치에 여러 계수가 존재할 경우 합산한다. 이후 ‘K‑규칙’이라 명명된 일련의 축소 규칙을 제시한다. 이 규칙들은 그래프의 비순환 부분을 반복적으로 제거하면서도 결과가 유일하게 보장되는 ‘수렴성(confluence)’을 갖는다. 규칙 적용 순서와 무관하게 동일한 최소 형태가 도출되므로, 알고리즘은 결정적이며 다항 시간 안에 수행될 수 있다.

다음으로 저자들은 ‘궤도(orbit)’ 개념을 도입해 글루시코프 K‑그래프의 구조를 더 정밀히 분석한다. 궤도는 동일 라벨을 공유하는 상태들의 최대 연결 컴포넌트를 의미하며, 각 궤도는 자체적으로 SNF 조건을 만족한다면 독립적으로 축소될 수 있다. 이를 통해 전체 그래프를 궤도 단위로 분할하고, 각 궤도마다 로컬 축소를 수행한 뒤 전역적으로 결합함으로써 전체 그래프를 최소화한다.

알고리즘 구현 부분에서는 입력으로 주어진 K‑가중 자동자 M이 글루시코프 구조인지 여부를 판정하고, 그렇다면 대응되는 K‑표현식 E를 복원한다. 복원 과정은 (1) 초기 상태와 최종 상태를 식별, (2) 각 상태의 First·Last·Follow 정보를 이용해 클로저와 연결 연산을 역추적, (3) 축소 규칙을 역방향으로 적용해 원래의 K‑표현식 형태를 재구성하는 단계로 이루어진다. 만약 M이 글루시코프 방식으로 생성되지 않았다면 알고리즘은 ‘불가능’이라는 결론을 반환한다.

마지막으로 논문은 기존 연구와의 차별점을 강조한다. Caron‑Ziadi가 제시한 비가중 글루시코프 자동자 특성화 결과를 K‑가중 상황으로 확장했으며, 특히 인수분해 가능 반공반체와 SNF 제한을 통해 알고리즘적 실현 가능성을 확보했다. 또한, 기존의 ‘ε‑정규형’과 ‘별정규형’ 변환 절차를 K‑표현식에 맞게 일반화하고, 변환 과정에서 발생할 수 있는 오류를 교정하였다. 한계점으로는 모든 K‑표현식이 동일한 문자 길이를 유지하면서 SNF로 변환될 수 있는지에 대한 일반적 증명이 아직 미해결이며, 이는 비부울 반공반체에 대한 향후 연구 과제로 남는다.