두 단어만으로 생성되는 이진 동등 집합

초록

본 논문은 비주기적인 두 이진 형태소가 만든 동등 언어가 최대 두 개의 단어로 생성됨을 증명한다. 랭크가 2인 경우, 생성 단어는 서로 다른 문자로 시작·끝난다. 이 결과는 모든 이진 언어가 크기 2 이하의 테스트 집합을 가질 수 있음을 의미한다.

상세 분석

이 논문은 형식 언어 이론에서 중요한 문제인 “동등 언어(equality language)”의 구조적 특성을 이진 알파벳(Σ={0,1})에 한정하여 심층적으로 탐구한다. 두 비주기적(binary) 형태소 φ와 ψ가 주어졌을 때, 이들이 생성하는 동등 언어 L(φ,ψ)= { w∈Σ* | φ(w)=ψ(w) } 를 고려한다. 기존 연구에서는 일반적인 알파벳에서 동등 언어가 복잡한 구조를 가질 수 있음을 보였지만, 이진 경우에는 제한된 구조가 존재한다는 가설이 있었다. 저자들은 이를 정량적으로 입증하기 위해 “생성 집합(generating set)”이라는 개념을 도입한다. 즉, L을 모든 단어들의 자유 모노이드에 대한 곱집합으로 표현할 수 있는 최소한의 단어 집합 G⊆Σ*를 찾는 것이다. 논문의 핵심 정리는 “비주기적 이진 형태소 두 개가 만든 동등 언어는 최대 두 개의 단어만으로 생성된다”는 것이다. 이를 증명하기 위해 저자들은 다음과 같은 전략을 사용한다. 첫째, 형태소 φ와 ψ가 비주기적이라는 가정 하에 각각의 이미지 φ(0), φ(1), ψ(0), ψ(1) 가 서로 다른 길이와 구조를 가진다는 사실을 이용한다. 둘째, 동등 언어의 원소 w에 대해 φ(w)와 ψ(w)의 길이 차이가 일정한 패턴을 보이는지를 분석한다. 이때 길이 차이가 0이 되는 최소의 비공백 단어들을 찾아내면, 그 단어들이 바로 생성기의 후보가 된다. 셋째, 후보 단어들 사이에 포함 관계가 존재하지 않도록 최소성을 검증한다. 만약 두 개 이상의 후보가 존재한다면, 그 중 하나는 다른 하나의 접두어나 접미사 형태로 표현될 수 없으며, 이는 곧 두 후보가 서로 다른 시작 문자와 끝 문자(하나는 0로 시작·끝, 다른 하나는 1로 시작·끝)를 가져야 함을 의미한다. 이러한 논증 과정에서 저자들은 “랭크(rank)”라는 개념을 도입한다. 랭크는 최소 생성 집합의 원소 개수를 의미하며, 랭크가 1이면 동등 언어가 단일 주기적 패턴으로 완전히 기술될 수 있음을, 랭크가 2이면 두 개의 비주기적 패턴이 교차하여 언어를 구성함을 나타낸다. 특히 랭크가 2인 경우, 시작·끝 문자가 서로 다른 두 단어가 필요하다는 점을 정리함으로써, 동등 언어의 구조가 매우 제한적임을 보여준다. 마지막으로, 이러한 결과를 이용해 “테스트 집합(test set)” 개념을 확장한다. 테스트 집합이란, 주어진 언어 L에 대해 모든 동형 사상(동등성 검사)을 완전히 판별할 수 있는 최소한의 표본 집합을 의미한다. 논문은 모든 이진 언어에 대해 크기 2 이하의 테스트 집합이 존재함을 증명함으로써, 언어 인식 및 자동화 검증 분야에서 실용적인 응용 가능성을 제시한다. 전체적으로 이 논문은 형식 언어 이론과 자동화 이론 사이의 교차점에서, 이진 형태소의 비주기성이라는 제한 조건 하에 동등 언어의 구조를 완전히 규정함으로써, 기존의 복잡한 동등성 문제를 단순화하고 새로운 알고리즘적 접근법을 제공한다.