[논문 리뷰] Swapping Lemmas for Regular and Context-Free Languages

Tomoyuki Yamakami|ArXiv.org|2008. 08. 29.

semigroups and automata theory참고 문헌 6인용 수 17

한 줄 요약

이 논문은 입력 길이에만 의존하는 보조 정보(보조 문자열)가 존재하는 상황에서, 전통적인 펌핑 보조정리의 대안으로 교환 보조정리를 도입한다. 보조 정보의 유효성이 구조적 변형 동안 유지됨을 통해, $\text{Equal}$, $\text{GT}$, $\text{Pal}$, $\text{Dup}$와 같은 언어가 $\mathrm{REG}/n$ 또는 $\mathrm{CFL}/n$에 속하지 않음을 보여주며, $\mathrm{DCFL}/n$과 $\mathrm{REG}/n$ 사이, 그리고 $\mathrm{CFL}/n$과 $\mathrm{CFL}$ 사이의 분리 관계를 확립한다. 이 방법은 낙엽 원리와 스택 분석을 기반으로 하며, 스택이 있는 푸시다운 온톨로지에서의 분석을 활용한다.

ABSTRACT

In formal language theory, one of the most fundamental tools, known as pumping lemmas, is extremely useful for regular and context-free languages. However, there are natural properties for which the pumping lemmas are of little use. One of such examples concerns a notion of advice, which depends only on the size of an underlying input. A standard pumping lemma encounters difficulty in proving that a given language is not regular in the presence of advice. We develop its substitution, called a swapping lemma for regular languages, to demonstrate the non-regularity of a target language with advice. For context-free languages, we also present a similar form of swapping lemma, which serves as a technical tool to show that certain languages are not context-free with advice.

연구 동기 및 목표

• 입력 길이에만 의존하는 보조 정보가 존재하는 상황에서 정규 언어 및 문맥자유 언어를 분석할 때 표준 펌핑 보조정리의 한계를 해결하기 위해.
• 문자열의 구조적 변형 과정에서 보조 정보의 유효성을 유지하는 새로운 기술 도구인 교환 보조정리를 개발하기 위해.
• 예를 들어 $\text{Equal}$, $\text{GT}$, $\text{Pal}$, $\text{Dup}$와 같은 자연적인 언어가 보조 정보가 없을 땐 정규 또는 문맥자유이지만, $\mathrm{REG}/n$ 또는 $\mathrm{CFL}/n$에 속하지 않음을 증명하기 위해.
• 예를 들어 $\mathrm{DCFL}/n \neq \mathrm{REG}/n$와 같이 이전까지 알려지지 않았던 보조 정보가 있는 언어 계열 간의 새로운 분리 관계를 확립하기 위해.

제안 방법

• 낙엽 원리를 기반으로 한 정규 언어를 위한 교환 보조정리를 제안하여, 문자열 변형 후에도 보조 정보 문자열이 유효함을 보장한다.
• 언어에 속한 문자열에서 인덱스 트리플 $(i,j,v,w)$로의 사상 $e: S \to \Delta$를 정의하며, 여기서 $\Delta$는 유한 자동화에서의 간격과 스택 기호를 나타낸다.
• 비결정성 푸시다운 자동화(npda)에서 스택 높이가 일정한 간격을 식별하기 위해 스택 전이 분석을 수행함으로써, 유효한 교환 후보를 구성할 수 있도록 한다.
• 모순 증명 기법을 적용: $\Delta$의 동일한 인덱스로 너무 많은 문자열이 매핑되면, 두 개의 서로 다른 부분문자열 $u \neq z$가 동일한 보조 구성으로 매핑되어 핵심 가정을 위반하게 된다.
• 문자열에서 인덱스 요소로의 할당을 유일하게 정의하기 위해 사전순 최소성 조건을 도입하여 매핑의 일관성을 보장한다.
• 수락 계산 경로의 구조와 스택 내용의 변화를 활용하여, 언어 소속에 대한 가정이 위배될 경우 모순을 유도한다.

실험 결과

연구 질문

• RQ1 입력 길이에만 의존하는 보조 정보가 존재할 때, 표준 펌핑 보조정리는 비정규성 증명에 효과적으로 작용할 수 있는가?
• RQ2 문자열의 변형 과정에서 보조 정보의 유효성을 유지하는 구조적 보조정리는 존재하는가? 이를 통해 보조 정보가 있는 자동화의 비속성 증명을 더욱 강력하게 할 수 있는가?
• RQ3 교환 보조정리는 문맥자유 언어로 확장되어 $\mathrm{CFL}/n$에 속하지 않는다는 것을 증명하는 데 사용될 수 있는가?
• RQ4 교환 보조정리를 통해 어떤 새로운 보조 정보가 있는 언어 계열 간의 분리 관계를 확립할 수 있는가?
• RQ5 보조 정보가 없을 땐 정규 또는 문맥자유이지만, $\mathrm{REG}/n$과 $\mathrm{CFL}/n$에 속하지 않는 언어들, 예를 들어 $\text{Equal}$, $\text{GT}$, $\text{Pal}$, $\text{Dup}$는 실제로 그 외부에 있는가?

주요 결과

• 언어 $\text{Equal} = \{w \in \{0,1\}^* \mid \#_0(w) = \#_1(w)\}$는 $\mathrm{REG}/n$에 속하지 않으며, 이는 $\mathrm{DCFL}/n \neq \mathrm{REG}/n$임을 보여준다.
• 언어 $\text{GT} = \{w \in \{0,1\}^* \mid \#_0(w) > \#_1(w)\}$는 $\mathrm{REG}/n$에 속하지 않으며, 이는 $\mathrm{DCFL}/n$과 $\mathrm{REG}/n$ 사이의 분리 관계를 더욱 뒷받침한다.
• 언어 $\text{Pal} = \{ww^R \mid w \in \{0,1\}^*\}$는 $\mathrm{REG}/n$에 속하지 않으며, 이는 심지어 문맥자유 언어도 보조 정보가 있는 유한 자동화에서는 인식할 수 없음을 보여준다.
• 언어 $\text{Dup} = \{ww \mid w \in \{0,1\}^*\}$는 $\mathrm{CFL}/n$에 속하지 않으며, 이는 $\mathrm{CFL}/n \neq \mathrm{CFL}$임을 증명한다.
• 교환 보조정리는 보조 정보가 존재할 경우 펌핑 보조정리의 결함을 성공적으로 보완하여, 보조 정보가 있는 언어 계열에서 직접적이고 타당한 비속성 증명을 가능하게 한다.