그래프 알파벳 자동화 이론

초록

본 논문은 정점과 간선으로 구성된 유향 그래프를 알파벳으로 삼아, 정점 타입에 따라 연결이 제한되는 문자열 집합 위의 유한 자동자를 정의한다. 그래프 알파벳 언어에 대해 Kleene 정리와 Myhill‑Nerode 정리를 확장하고, 결정화·최소화 알고리즘을 제시하지만, 정규 언어가 보완에 대해 닫히지 않음을 보인다. 또한 무한 그래프 알파벳(예: 스타터·터미네이터)과의 연계 가능성을 논의한다.

상세 분석

논문은 기존 유한 자동자 이론이 자유 모노이드(문자열)의 연결만을 전제로 하는 한계를 지적하고, 알파벳 자체에 구조적 제약을 부여하는 ‘그래프 알파벳’ 개념을 도입한다. 그래프 알파벳 (V, Σ, d₀, d₁)은 정점 집합 V와 간선 집합 Σ, 그리고 각 간선의 시작·끝 정점을 지정하는 함수 d₀, d₁ 로 정의된다. 이때 문자열 ω = a₁a₂…aₙ 은 연속된 간선들의 경로가 될 수 있으려면 d₁(aᵢ)=d₀(aᵢ₊₁) 이어야 하므로, 문자열 연결 연산이 정점 타입에 의해 제한된다.

자동자는 상태 집합 Q와 상태 라벨링 µ:Q→V, 전이 라벨링 λ:E→Σ 로 구성된다. 전이 e는 반드시 µ(s(e))=d₀(λ(e)) 그리고 µ(t(e))=d₁(λ(e)) 를 만족한다. 따라서 경로의 라벨은 (시작 정점, 간선열, 종료 정점) 형태의 삼중항이 되며, 이는 자유 범주 (V,Σ)⁎ 의 사상이다. 언어 L(A)는 수용 경로들의 라벨 집합이며, 무타입 언어 Lᵇ(A)는 정점 정보를 무시한 Σ* 부분집합이다. Proposition 2에 의해 무타입 언어는 언제나 정규 언어가 된다.

핵심 정리인 Kleene 정리(정리 18)는 ‘rational’(합·곱·플러스 연산으로 생성)과 ‘regular’(그래프 알파벳 자동자로 인식) 언어가 동등함을 증명한다. 이를 위해 기본 자동자(빈 자동자와 단일 간선 자동자)를 정의하고, 합, 연결, 플러스 연산에 대해 자동자를 구성하는 방법을 제시한다. 특히 연결 연산을 구현하기 위해 ‘무음 전이’를 도입해 동일 타입의 수용 상태와 초기 상태를 연결한다. Lemma 12는 무음 전이를 제거할 수 있음을 보이며, 전통적인 Brzozowski‑McCluskey 절차를 그래프 알파벳에 맞게 변형해 모든 유한 자동자의 언어가 rational임을 증명한다.

Myhill‑Nerode 정리에서는 왼쪽·오른쪽 여집합(quotient) 개념을 정의하고, 정규 언어는 앞·뒤 여집합 집합(suffix, prefix) 가 유한함과 동치임을 보인다(Lemma 21). 반대 방향에서는 rational 언어가 여집합을 유한하게 만든다는 Lemma 22를 이용한다. 이는 기존 Myhill‑Nerode 정리와 구조는 동일하지만, 정점 타입에 따라 여집합이 정의되는 점이 차별점이다.

알고리즘적 측면에서 논문은 결정화와 최소화 절차를 제시한다. 상태 라벨링을 보존하면서 부분집합 구성을 통해 결정 자동자를 만들고, 동형 상태를 합치는 표준 최소화 과정을 적용한다. 그러나 보완 연산이 닫히지 않음(regular languages are not closed under complement)이라는 부정적인 결과도 제시한다. 이는 그래프 알파벳이 무한 정점 집합을 가질 경우, 보완 언어가 정점 타입을 맞추지 못해 자동자로 표현될 수 없기 때문이다.

마지막으로 저자들은 ‘presimplicial alphabets’라는 더 일반적인 구조를 언급한다. 여기서는 단순히 간선이 아니라 고차원 셀(예: 2‑셀, 3‑셀)까지 포함해, 문자열이 아니라 셀 복합체의 연결을 모델링한다는 비전을 제시한다. 이는 동시성 이론, 타입 검사, 데이터베이스 트리거 등 다양한 분야에 적용 가능성을 시사한다.

전체적으로 논문은 그래프 기반 알파벳 위의 자동자 이론을 체계화하고, 기존 정규 언어 이론을 확장함으로써 구조적 제약이 있는 문자열 처리에 대한 새로운 수학적 도구를 제공한다.