[논문 리뷰] Pumping lemmas for linear and nonlinear context-free languages

Géza Horváth, Benedek Nagy|arXiv (Cornell University)|2010. 11. 30.

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

한 줄 요약

이 논문은 고정 비율 선형 및 비선형 문맥 자유 언어를 위한 새로운 펌프링 레미마를 제안하며, 이는 특정 언어가 even-linear 또는 metalinear과 같은 특정 하위클래스에 속하지 않음을 증명할 수 있도록 한다. 레미마들은 다중 위치에서 동시에 펌프링을 가능하게 하며, 비-metalinear 문맥 자유 언어를 식별할 수 있다. 주요 결과로는, 여러 k값에 대해 펌프링 조건을 만족하는 언어는 정규일 수 있으며, 비-metalinear 언어는 새로운 반복 조건을 통해 식별될 수 있음을 보여준다.

ABSTRACT

Pumping lemmas are created to prove that given languages are not belong to certain language classes. There are several known pumping lemmas for the whole class and some special classes of the context-free languages. In this paper we prove new, interesting pumping lemmas for special linear and context-free language classes. Some of them can be used to pump regular languages in two place simultaneously. Other lemma can be used to pump context-free languages in arbitrary many places.

연구 동기 및 목표

• 고정 비율 선형 및 metalinear 언어 클래스에 특화된 새로운 펌프링 레미마를 개발하기 위해.
• 특정 하위클래스인 even-linear 또는 metalinear과 같은 특정 문맥 자유 언어 하위집합에 속하지 않는 언어를 증명할 수 있도록 하기 위해.
• 반복 조건을 사용하여 비-metalinear 문맥 자유 언어를 식별하는 방법을 제공하기 위해.
• 다양한 k값에 대해 펌프링 레미마를 만족하는 언어가 반드시 정규여야 하는지 조사하기 위해.
• 표준 정규 및 문맥 자유 클래스를 초월하여 펌프링 레미마의 적용 범위를 확장하기 위해.

제안 방법

• 규칙에서 왼쪽과 오른쪽 문자열의 길이 비율이 유리수 k로 고정된 k-레벨 선형 문법 모델을 제안하며, 이는 even-linear 및 정규 문법을 일반화한다.
• 고정 비율 k를 활용하여 두 개 이상의 위치에서 동시에 펌프링이 가능한 k-레벨 선형 언어를 위한 펌프링 레미마를 도입한다.
• k-선형 문법을 선형 문법에 S → S₁S₂…Sₖ 규칙을 추가하여 정의하며, 여기서 Sᵢ는 다른 곳에 나타나지 않으며 S는 다른 규칙에 나타나지 않는다.
• non-k-선형 문맥 자유 언어를 위한 펌프링 레미마를 개발하여 metalinear 가족에 속하지 않는 언어를 식별한다.
• 특정 언어, 예를 들어 L = {0ʲ1ᵐ0ʳ1ⁱ0ˡ1ⁱ0ʳ1ᵐ0ʲ | r prime}를 분석하기 위해 신규 레미마를 적용하여, 이 언어가 even-linear 또는 고정 비율 선형이 아님을 보여준다.
• 레미마를 사용하여 Bar-Hillel 조건을 만족하지만 새로운 반복 조건을 만족하지 못하는 언어가 문맥 자유 언어가 아님을 증명한다.

실험 결과

연구 질문

• RQ1 고정 비율 선형 언어에 대해 다중 위치에서 동시에 펌프링이 가능한 펌프링 레미마를 구성할 수 있는가?
• RQ2 다양한 서로 다른 유리수 k값에 대해 k-레벨 선형으로 분류되기 위해 언어가 만족해야 할 조건은 무엇인가?
• RQ3 새로운 펌프링 레미마는 비-metalinear 문맥 자유 언어와 metalinear 언어를 식별할 수 있는가?
• RQ4 non-k-선형 문맥 자유 언어에 대한 새로운 반복 조건을 사용하여 언어가 문맥 자유 언어가 아님을 증명할 수 있는가?
• RQ5 두 개의 다른 k값에 대해 펌프링 레미마를 만족할 경우 언어가 정규여야 하는 조건은 무엇인가?

주요 결과

• 논문은 k=1을 사용한 k-레벨 펌프링 레미마를 통해 언어 L = {0ʲ1ᵐ0ʳ1ⁱ0ˡ1ⁱ0ʳ1ᵐ0ʲ | r prime}가 even-linear이 아니며, 따라서 정규어도 아님을 증명한다.
• 언어 L = {aˡbˡaᵐbᵐaⁿbⁿ | l,m,n ≥ 0}는 k=3에서 펌프링 레미마를 만족하므로 metalinear이며, 이는 metalinear 가족에 속한다는 것을 확인한다.
• 언어 L₂ = {aˡbˡaᵐbᵐaⁿbⁿ | l,m,n ≥ 1; l∈H or m∈H or n∈H} ∪ {aⁱbⁱaʲbʲ | i,j ≥ 1}, 여기서 H는 {2ᵏ}의 무한 부분집합인 경우, k=3 펌프링 조건을 만족하지 못하므로 문맥 자유 언어가 아니다.
• k-레벨 선형 언어를 위한 펌프링 레미마는 모든 정규 언어에 대해 작동하며, 모든 정규 언어는 임의의 음이 아닌 유리수 k에 대해 k-레벨 선형이다.
• 두 개 이상의 다른 k값에 대해 펌프링 레미마를 만족하는 언어가 정규일 수 있음을 보여주는 증거를 제공하며, 이는 다수의 k값에 대해 레미마를 만족하는 언어는 오직 정규 언어일 수 있다는 추측으로 이어진다.
• non-k-선형 문맥 자유 언어를 위한 새로운 반복 조건은 언어가 문맥 자유 언어가 아님을 증명하는 데도 사용할 수 있으며, 동시에 언어가 metalinear임을 확인하는 데에도 사용할 수 있다.