[논문 리뷰] A Note on Decidable Separability by Piecewise Testable Languages

Wojciech Czerwiński, Wim Martens|arXiv (Cornell University)|2014. 10. 04.

semigroups and automata theory참고 문헌 60인용 수 5

한 줄 요약

이 논문은 문맥 자유 언어에 대해 조각별로 테스트 가능한 언어로의 분리 가능성의 결정 가능성을 확립한다—이는 문맥 자유 언어가 조각별로 테스트 가능한지 여부가 결정 불가능한 데 비해 두드러진 결과이다. 저자들은 이 결과를 약한 연산에 대해 안정적인 언어 클래스로 일반화하였으며, 이는 빈도 문제와 대각선 문제의 결정 가능성을 갖는 언어 클래스를 포함한다. 이는 라벨이 부여된 벡터 덧셈 시스템에서 유도된 언어들에도 적용된다.

ABSTRACT

The separability problem for languages from a class $\mathcal{C}$ by languages of a class $\mathcal{S}$ asks whether, for two given word languages $I$ and $E$ from $\mathcal{C}$, there exists a language $S$ from $\mathcal{S}$ which includes $I$ and excludes $E$, that is, $I \subseteq S$ and $S \cap E = \emptyset$. It is known that separability for context-free languages by any class containing all definite languages (such as regular languages) is undecidable. We show that separability of context-free languages by piecewise languages is decidable. This may be remarkable in the light that it is undecidable whether a context-free language is piecewise testable. We generalize this decidability result by showing that, for every class of languages that is robust under some rather weak operations and has decidable emptiness and diagonal problems, separability with respect to piecewise testable languages is decidable. An example of such a class is the class of languages defined by labeled vector addition systems.

연구 동기 및 목표

• 문맥 자유 언어가 조각별로 테스트 가능한 언어로 분리 가능한지 여부가 결정 가능한지 확인하는 것.
• 조각별로 테스트 가능한 언어로의 분리 가능성의 결정 가능성이 유지되는 더 넓은 조건을 조사하는 것.
• 문맥 자유 언어를 초월하여 특정 폐쇄성 및 결정 성질을 갖는 다른 언어 클래스로 결정 가능성 결과를 확장하는 것.
• 약한 폐쇄 성질과 결정 가능한 빈도 문제 및 대각선 문제의 역할이 분리 가능성의 결정 가능성 가능성을 어떻게 가능하게 하는지 분석하는 것.
• 라벨이 부여된 벡터 덧셈 시스템으로 정의된 언어와 같은 클래스에 적용 가능한 일반적 프레임워크를 제공하는 것.

제안 방법

• 약한 연산(예: 교차 및 보수)에 대해 폐쇄된 언어 클래스의 폐쇄 성질을 활용하여 분리 가능성 문제를 분석하는 것.
• 목표 언어 클래스 내부에서 빈도 문제와 대각선 문제의 결정 가능성을 바탕으로 분리 가능성 문제를 환원하는 것.
• 논리적 및 오토마타 이론적 기법을 적용하여 조각별로 테스트 가능한 언어의 특성과 그 문맥 자유 언어와의 상호작용을 기술하는 것.
• 언어 분리의 맥락에서, 금지된 부분어 또는 부분어를 기반으로 정의된 조각별로 테스트 가능한 언어의 구조를 활용하는 것.
• 고려 중인 언어 클래스의 폐쇄성 및 결정 성질에 기반한 일반적인 결정 가능성 기준을 수립하는 것.
• 프레임워크를 라벨이 부여된 벡터 덧셈 시스템으로 정의된 특정 언어 클래스에 적용하여 광범위한 적용 가능성을 입증하는 것.

실험 결과

연구 질문

• RQ1 두 개의 문맥 자유 언어가 조각별로 테스트 가능한 언어로 분리 가능한지 여부가 결정 가능한가?
• RQ2 언어 클래스의 어떤 구조적 및 폐쇄 성질이 조각별로 테스트 가능한 언어로의 분리 가능성의 결정 가능성을 보장하는가?
• RQ3 문맥 자유 언어에 대한 결정 가능성 결과를 정규 언어나 확정 언어 이외의 다른 클래스로 일반화할 수 있는가?
• RQ4 언어 클래스의 빈도 문제 및 대각선 문제와 조각별로 테스트 가능한 언어로의 분리 가능성의 결정 가능성 간의 관계는 무엇인가?
• RQ5 약한 폐쇄 연산이 복잡한 언어 클래스에서 분리 가능성의 결정 가능성을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 문맥 자유 언어가 조각별로 테스트 가능한 언어로 분리 가능한지는 결정 가능함—이는 문맥 자유 언어가 조각별로 테스트 가능한지 여부가 결정 불가능한 데 비해 뚜렷한 결과이다.
• 약한 연산에 대해 폐쇄되고 빈도 문제 및 대각선 문제의 결정 가능성을 갖는 언어 클래스라면, 분리 가능성의 결정 가능성이 성립한다.
• 이 결과는 라벨이 부여된 벡터 덧셈 시스템으로 정의된 언어와 같은 클래스로 일반화될 수 있으며, 이는 요구되는 폐쇄성 및 결정 성질을 만족한다.
• 이 프레임워크는 다양한 언어 클래스에 걸쳐 분리 가능성의 결정 가능성을 통일적으로 확립하는 데 유용하다.
• 핵심 통찰은 조각별로 테스트 가능한 언어의 구조가 목표 언어 클래스 내에서 결정 가능한 결정 문제와 조합될 때 효과적인 분리를 가능하게 한다는 것이다.
• 이 접근법은 문맥 자유 언어가 조각별로 테스트 가능한지 직접 분석하는 데서 벗어나, 폐쇄성 및 결정 성질에 기반한 결정 가능성을 확보한다.