ET0L·EDT0L 언어와 인덱스 언어의 순환·전치 폐쇄성 연구

초록

본 논문은 언어 연산 C^k(단어를 k개의 구간으로 나누어 순열) 에 대해 ET0L·EDT0L 언어가 닫혀 있음을 증명하고, 인덱스 언어의 순환 폐쇄가 다시 인덱스 언어임을 보인다. 이는 기존의 컨텍스트프리 언어에 대한 결과를 일반화·강화한다.

상세 분석

논문은 먼저 C^k 연산을 정의한다. 주어진 언어 L의 모든 문자열 w를 k개의 연속 구간 w₁…w_k 로 분할하고, 임의의 순열 σ∈S_k에 대해 w_{σ(1)}…w_{σ(k)} 를 모아 만든 언어를 C^k(L) 라 한다. 기존 연구(Brandstädt 1981)는 k≥3 일 때 C^k(L) 가 일반적으로 컨텍스트프리가 아니며, 심지어 일-카운터·선형 언어도 깨진다고 보였다. 저자들은 이 한계를 넘어 ET0L·EDT0L 클래스가 C^k 연산에 대해 닫혀 있음을 보인다. 핵심 아이디어는 다음과 같다.

1. 보조 기호 삽입: #₀,…,#k 라는 새로운 구분자를 도입해 L′ = {#₀ w₁ #₁ … #{k-1} w_k #_k | w₁…w_k∈L} 를 만든다. Lemma 2.5에서 ET0L 은 유리 변환에 닫혀 있으므로 바로 ET0L 이 되고, EDT0L 은 Lemma 2.4를 여러 번 적용해 # 삽입을 구현한다.

2. (a,b)-언어와 π 변환: 각 순열 σ에 대해 (a,b)-언어 형태의 두 기호 a,b 를 #{σ(i)-1}, #{σ(i)} 로 치환한다. Proposition 2.9와 Lemma 2.8을 이용해 “a와 b 사이의 구간을 이동”하는 변환 π 를 ET0L/EDT0L 시스템 내에서 구현한다. 이를 위해 새로운 비터미널 (c,f) 를 도입해 f∈{ε,a,b,ab} 로 a·b 의 위치 정보를 저장하고, 테이블을 세밀히 설계해 결정적·비결정적 규칙을 보존한다.

3. 전체 C^k(L) 구성: 각 σ에 대해 위 변환을 적용한 언어 L_σ 를 얻고, # 기호를 지우는 동형사상과 유한 합을 취하면 최종적으로 C^k(L) 가 ET0L·EDT0L 로 닫힌다. ET0L·EDT0L 은 동형사상·유한 합에 닫혀 있다는 사실을 활용한다.

다음으로 인덱스 언어의 순환 폐쇄성을 다룬다. 인덱스 문법은 A→B f, A f→v, A→u 형태의 규칙을 갖는 확장된 문맥 자유 문법이다. 저자들은 기존의 정규형(Normal Form)으로 변환된 인덱스 문법을 이용해, 순환 연산을 수행할 때 파싱 트리의 경로‑스켈레톤을 적절히 재배열함으로써 새로운 파생 과정을 구성한다. 핵심은 “인덱스 플래그를 보존하면서 w₁w₂ 를 w₂w₁ 로 바꾸는” 변환을 문법 수준에서 구현하는데, 이는 플래그 스택을 그대로 유지하면서 비터미널의 순서를 교환하는 규칙을 추가함으로써 가능하다. 결과적으로 사이클 폐쇄 언어 cyc(L) = {w₂w₁ | w₁w₂∈L} 가 다시 인덱스 언어임을 증명한다.

이 두 결과는 다음과 같은 의미를 가진다. 첫째, ET0L·EDT0L 은 컨텍스트프리보다 강력하지만, 여전히 순열 연산에 대해 견고함을 보여준다. 둘째, 인덱스 언어는 순환 연산에 대해 닫혀 있어, 그룹·반군의 공액 클래스와 같은 구조적 언어 연구에 유용한 도구가 된다. 또한, 기존에 알려진 정규·문맥민감·재귀열거 언어들의 닫힘 성질에 새로운 계층을 추가함으로써 형식 언어 이론의 계층 구조를 보다 정밀하게 이해할 수 있다.