[논문 리뷰] An approach to computing downward closures

Georg Zetzsche|arXiv (Cornell University)|2015. 03. 03.

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

한 줄 요약

이 논문은 단어 언어의 내림 Closure를 계산하는 일반적인 방법을 제시한다. 문제를 동시에 무한성 성질(SUP) 검증으로 환원함으로써 이를 해결한다. 유한성 언어 클래스가 유리 전이에 대해 닫혀 있고, 파르크 이미지가 효과적으로 반선형인 경우, 내림 Closure는 계산 가능하다는 것을 증명한다. 이는 행렬 언어와 인덱스 언어로 확장되며, 이전에 알려진 및 새로운 언어 클래스에 대해 통합적이고 단순화된 접근법을 제공한다.

ABSTRACT

The downward closure of a word language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of any language is regular. While the downward closure appears to be a powerful abstraction, algorithms for computing a finite automaton for the downward closure of a given language have been established only for few language classes. This work presents a simple general method for computing downward closures. For language classes that are closed under rational transductions, it is shown that the computation of downward closures can be reduced to checking a certain unboundedness property. This result is used to prove that downward closures are computable for (i) every language class with effectively semilinear Parikh images that are closed under rational transductions, (ii) matrix languages, and (iii) indexed languages (equivalently, languages accepted by higher-order pushdown automata of order 2).

연구 동기 및 목표

• 다양한 언어 클래스에서 내림 Closure를 계산하는 일반적이고 체계적인 접근법을 개발하는 것.
• 내림 Closure는 항상 정규 언어이지만, 일반적으로 그에 대한 유한 오토마타를 계산하는 것은 결정 불가능하다는 도전 과제를 다루는 것.
• 내림 Closure가 계산 가능해지는 충분한 조건을 규명하는 것—특히 닫힘 성질과 파르크 이미지의 반선형성에 중점을 두는 것.
• 내림 Closure의 계산 가능성을 문맥 자유 언어와 페트리 넷 언어를 초월해 행렬 언어와 인덱스 언어로 확장하는 것.
• 내림 Closure 계산을 단일 핵심 문제인 동시에 무한성 문제(SUP)로 환원함으로써, 기존 알고리즘들을 통합하고 단순화하는 것.

제안 방법

• 내림 Closure 계산 문제를 동시에 무한성 성질(SUP) 문제로 환원하는 것—이는 $a_1^* \cdots a_n^*$ 내의 언어가 모든 문자에 대해 임의로 큰 지수를 가진 단어를 포함하는지 검사하는 것이다.
• 유한성 언어 클래스가 유리 전이에 대해 닫혀 있고, 파르크 이미지가 효과적으로 반선형인 경우 SUP는 결정 가능하며, 이는 내림 Closure의 계산 가능성을 암시한다는 사실을 활용하는 것.
• 유리 전이의 닫힘 성질을 이용해 원래 언어를 SUP를 검증할 수 있는 형태로 변환하는 것.
• 특히 인덱스 언어와 행렬 언어에서 문법의 유도 트리 및 슬라이스 분해의 구조를 분석함으로써 내림 Closure에 대한 유한 오토마타를 구성하는 것.
• 유한 색인 산산이 분해 문법을 적용하여 유도 과정을 시뮬레이션하고 정확한 부분어 조합을 생성함으로써 결과 언어의 정규성을 확보하는 것.
• 슬라이스 트리의 전위 순회를 통해 초기 문장 형태를 생성하고, 동시에 스택 삽입 및 제거 작업을 시뮬레이션하는 생산 규칙 시퀀스를 정의하는 것—이를 통해 정확성을 유지한다.

실험 결과

연구 질문

• RQ1 문맥 자유 언어와 페트리 넷 언어를 초월한 언어 클래스에 대해 내림 Closure를 일반적이고 체계적으로 계산할 수 있는가?
• RQ2 동시 무한성 문제(SUP)가 결정 가능한 조건은 무엇이며, 이는 내림 Closure의 계산 가능성과 어떻게 관련되는가?
• RQ3 통합 프레임워크를 통해 내림 Closure의 계산 가능성을 행렬 언어와 인덱스 언어로 확장할 수 있는가?
• RQ4 내림 Closure 계산이 반선형성과 유리 전이에 대한 닫힘 성질 검증으로 얼마나 깊이 환원될 수 있는가?
• RQ5 제안된 방법이 알려진 언어 클래스에서 내림 Closure 계산을 위한 기존 알고리즘들을 얼마나 단순화하거나 통합하는가?

주요 결과

• 모든 언어의 내림 Closure는 정규 언어이지만, 일반적으로 그에 대한 유한 오토마타를 계산하는 것은 결정 불가능하다.
• 유리 전이에 대해 닫혀 있고, 파르크 이미지가 효과적으로 반선형인 언어 클래스의 경우, 동시에 무한성 문제(SUP)를 통한 내림 Closure 계산이 가능하다.
• 이 방법은 문맥 자유 언어와 스택 카운터 오토마타의 계산 가능성을 재확인하며, 다중 문맥 자유 언어와 행렬 언어로 확장한다.
• 인덱스 언어(등가로 2차 고차원 스택 오토마타에 의해 수용되는 언어)의 내림 Closure는 계산 가능하며, 오랫동안 미해결이었던 문제를 해결한다.
• 이 접근법은 기존 알고리즘을 단일 핵심 문제인 SUP로 환원함으로써 계산 과정을 통합하고 단순화한다.
• 내림 Closure에 대한 유한 오토마타는 유한 색인 산산이 분해 문법을 통해 유도 트리와 슬라이스 구조를 시뮬레이션함으로써 구성된다.