[논문 리뷰] On the expressiveness of Parikh automata and related models

Michaël Cadilhac, Alain Finkel외 1명|arXiv (Cornell University)|2011. 01. 07.

semigroups and automata theory참고 문헌 13인용 수 10

한 줄 요약

이 논문은 카운터에 아핀 변환을 도입하고 문자 기반 제약 조건을 부과하여 고전적 파르크 자동기 모델을 확장함으로써, 파르크 자동기(PA) 및 그 변종인 아핀 파르크 자동기(APA), 제약 자동기(CA), 문자 기반 파르크 자동기(LPA)의 표현력을 조사한다. 주요 기여는 엄격한 계층 구조를 확립하는 것으로, 결정적 PA는 결정적 반전 제한 카운터 기계보다 엄격히 약하며, 결정적 변형의 경우 빈도 문제의 결정 불가능성을 보여준다.

ABSTRACT

The Parikh finite word automaton (PA) was introduced and studied by Klaedtke and Ruess in 2003. Natural variants of the PA arise from viewing a PA equivalently as an automaton that keeps a count of its transitions and semilinearly constrains their numbers. Here we adopt this view and define the affine PA (APA), that extends the PA by having each transition induce an affine transformation on the PA registers, and the PA on letters (LPA), that restricts the PA by forcing any two transitions on same letter to affect the registers equally. Then we report on the expressiveness, closure, and decidability properties of such PA variants. We note that deterministic PA are strictly weaker than deterministic reversal-bounded counter machines. We develop pumping-style lemmas and identify an explicit PA language recognized by no deterministic PA.

연구 동기 및 목표

• 고전적 파르크 자동기 모델을 아핀 변환과 구조적 제약 조건을 갖춘 새로운 변종으로 확장하여 계산 능력을 향상시키는 것.
• PA, APA, LPA 및 관련 모델의 표현력을 정규, 문맥 자유, 반전 제한 카운터 기계 등의 고전적 자동기 클래스와 비교하는 것.
• 이들 모델의 폐쇄성 성질, 빈도 문제의 결정 가능성, 펌핑 레미마 존재 여부를 조사하는 것.
• 결정적 PA와 결정적 반전 제한 카운터 기계 간의 관계를 명확히 하여 엄격한 포함 관계를 보여주는 것.
• 결정적 PA의 클래스 외부에 존재하는 명시적 언어를 규명함으로써, 기존 언어 클래스 계층의 정교화를 이루는 것.

제안 방법

• 각 전이가 카운터 벡터에 아핀 변환을 적용하고 나서 벡터를 더함으로써 아핀 파르크 자동기(APA)를 정의함으로써 원래 PA 모델을 일반화한다.
• 모든 동일한 입력 문자에 대한 전이가 카운터 벡터에 동일하게 영향을 주도록 함으로써 문자 기반 파르크 자동기(LPA)를 도입함으로써 표현력을 제한한다.
• 수렴 조건 집합에 속하는 런의 파르크 이미지에 따라 수락 여부가 결정되는 CA를 PA의 형식화로 사용한다.
• 펌프 스타일 레미마를 적용하여 특정 언어, 예를 들어 $\{a,b\}^*\cdot\{a^n\#a^n \mid n\in\mathbb{N}\}$에 대해 비정규성 및 비결정적 PA 소속성을 증명한다.
• 프레스버거 산술과 반선형 집합의 결과를 활용하여 $\mathbb{N}$-정의 가능 및 $\mathbb{Q}$-정의 가능 집합을 특성화하고, 이를 자동기 제약 조건과 연결한다.
• 폐쇄성 및 결정 가능성 분석을 통해 모델를 비교하며, 특히 결정적 변형의 빈도 문제와 정규성 테스트에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 아핀 파르크 자동기(APA)의 표현력은 표준 파르크 자동기(PA)보다 어떻게 다른가? 유리수 계수와 자연수 계수를 사용할 경우의 영향은 무엇인가?
• RQ2 결정적 파르크 자동기(DetPA)는 결정적 반전 제한 카운터 기계(DetRBCM)가 표현할 수 있는 모든 언어를 표현할 수 있는가? 아니면 엄격한 계층이 존재하는가?
• RQ3 결정적 아핀 파르크 자동기(DetAPA)의 빈도 문제는 결정 가능한가? 이러한 문제의 복잡도 상한은 무엇인가?
• RQ4 LPA 및 PA 모델는 어떤 폐쇄 성질을 만족하는가? 이는 정규 언어 및 문맥 자유 언어와 어떻게 다를까?
• RQ5 결정적 PA가 인식하는 언어의 클래스는 대수적으로 특성화될 수 있는가? 또한 결정적 및 비결정적 APA 사이에 의미 있는 분리가 존재하는가?

주요 결과

• 언어 $\{a,b\}^*\cdot\{a^n\#a^n \mid n\in\mathbb{N}\}$는 $\mathcal{L}_{\text{PA}}$에 속하지만 $\mathcal{L}_{\text{DetPA}}$에는 속하지 않으며, 이는 결정적 및 비결정적 PA 간의 엄격한 계층을 증명한다.
• 결정적 PA는 결정적 반전 제한 카운터 기계(DetRBCM)보다 엄격히 약하며, 엄격한 포함 관계 $\mathcal{L}_{\text{DetPA}} \subset \mathcal{L}_{\text{DetRBCM}}$를 확인한다.
• 유리수를 계수로 사용하는 아핀 파르크 자동기(APA)는 자연수를 계수로 사용하는 것과 표현력이 동일하므로, 유리수 계수는 표현력을 증가시키지 않는다.
• 결정적 APA의 빈도 문제, 심지어 $\mathbb{N}$ 위에서도 결정 불가능하며, 이는 이러한 모델에 대한 추론의 높은 복잡도를 강조한다.
• LPA 언어는 그 단어의 파르크 이미지에 대한 제약 조건을 갖는 정규 언어와 동일하며, $\mathcal{L}_{\text{LPA}}$는 합집합, 보수, 스퀘어링에 대해 폐쇄되지 않는다.
• APA는 오직 문맥 감시 언어만 표현할 수 있으며, $\mathcal{L}_{\text{APA}}$는 보수나 호모모르피즘에 대해 폐쇄되지 않지만, 교차 및 역 호모모르피즘에 대해서는 폐쇄된다.