정규 언어의 해부력: 무한 언어를 두 무한 부분으로 나누다

초록

본 논문은 정규 언어가 무한 언어를 두 개의 무한 부분집합으로 나누는 “REG‑dissectibility” 개념을 정의하고, 모든 문맥 자유 언어, 상수 성장 언어, 반선형 언어 및 그 보완·교차 등에 대해 정규 언어가 이를 가능하게 함을 증명한다. 특히 제한된(바운디드) 문맥 자유 언어들의 부울 계층 전체가 REG‑dissectible임을 보이며, 이를 이용해 두 중첩된 바운디드 CFL 사이에 무한 여유를 가진 구분자를 구성한다는 응용까지 제시한다.

상세 분석

논문은 먼저 “정규 언어가 무한 언어 L을 dissect한다”는 정의를 제시한다. 구체적으로, 정규 언어 R이 존재하여 R∩L와 ¬R∩L 두 집합이 모두 무한이면, L은 REG‑dissectible이라 부른다. 이 정의는 기존의 언어 분할 연구와는 달리 “정규 언어라는 제한된 구조가 무한 언어의 복잡성을 충분히 포착할 수 있는가”라는 질문을 중심에 둔다.

주요 결과는 다음과 같다. 첫째, 모든 문맥 자유 언어(CFL)는 적절히 선택된 정규 언어에 의해 dissect될 수 있다. 증명은 CFL의 파싱 트리를 이용해 길이가 충분히 큰 파생 규칙을 추출하고, 이를 기반으로 주기적인 패턴을 갖는 정규 언어를 구성함으로써 이루어진다. 둘째, 상수 성장 언어(constantly‑growing languages)와 반선형 언어(semi‑linear languages) 역시 REG‑dissectible임을 보인다. 여기서는 반선형 집합의 파라메트릭 표현을 활용해, 각 파라미터가 충분히 큰 경우에만 해당 파라미터를 포함하거나 제외하는 정규 언어를 설계한다.

또한, 반선형 언어들의 보완과 유한 교차에 대해서도 특정 자연스러운 조건(예: 각 언어가 무한히 많은 서로 다른 선형 방정식 해를 갖는 경우) 하에 REG‑dissectibility가 유지됨을 증명한다. 이는 반선형 집합이 닫힌 연산에 대해 강한 구조적 안정성을 가진다는 사실을 강조한다.

바운디드 언어(bounded languages) 영역에서는 더욱 흥미로운 결과가 나온다. 유한 개의 CFL의 교차는 물론, 바운디드 CFL들의 부울 계층(Boolean hierarchy) 전체가 REG‑dissectible임을 보였다. 여기서는 바운디드 형태 a₁*…a_k* 로 표현되는 언어들의 특성을 이용해, 각 레이어에 대응하는 정규 언어를 단계적으로 삽입함으로써 무한 부분을 보존한다.

마지막으로, 이러한 REG‑dissectibility를 활용해 “무한 여유를 가진 구분자”를 구성한다. 구체적으로, 두 중첩된 바운디드 CFL L₁⊂L₂에 대해, L₁과 L₂ 사이에 무한히 많은 문자열이 존재하면서도, 어느 하나도 L₁∪L₂에 속하지 않는 바운디드 CFL S를 만든다. 이는 언어 사이의 미세한 구조적 차이를 정규 언어 수준에서 포착할 수 있음을 보여준다.

전체적으로 논문은 정규 언어라는 제한된 계산 모델이 무한 언어들의 복잡성을 “해부”할 수 있는 범위를 체계적으로 확장하고, 특히 반선형·바운디드 구조에 대해 강력한 분할 능력을 입증함으로써 형식 언어 이론에 새로운 관점을 제공한다.