[논문 리뷰] An Extension of Parikh's Theorem beyond Idempotence

Michael Luttenberger, Schlund, Maximilian|arXiv (Cornell University)|2011. 12. 13.

Analytical Chemistry and Chromatography참고 문헌 25인용 수 5

한 줄 요약

이 논문은 파르크의 정리를 아이디포텐트 반군을 초월하여 확장한다. 문맥 자유 문법의 순환적 모호성 함수는 각 파르크 벡터당 왼쪽에서 유도되는 방법의 수를 세며, 이 함수는 $k = k+1$라는 일반화된 아이디포텐트 항등식에 대해 유리 함수임을 보여준다. $\omega$-연속 반군 위에서 뉴턴의 방법을 사용하여, 이 함수가 유한한 가중 선형 집합의 합으로 표현될 수 있음을 증명한다. 이는 파르크의 원래 결과($k=1$에 대해)를 더 높은 $k$로 일반화한다.

ABSTRACT

The commutative ambiguity of a context-free grammar G assigns to each Parikh vector v the number of distinct leftmost derivations yielding a word with Parikh vector v. Based on the results on the generalization of Newton's method to omega-continuous semirings, we show how to approximate the commutative ambiguity by means of rational formal power series, and give a lower bound on the convergence speed of these approximations. From the latter result we deduce that the commutative ambiguity itself is rational modulo the generalized idempotence identity k=k+1 (for k some positive integer), and, subsequently, that it can be represented as a weighted sum of linear sets. This extends Parikh's well-known result that the commutative image of context-free languages is semilinear (k=1). Based on the well-known relationship between context-free grammars and algebraic systems over semirings, our results extend the work by Green et al. on the computation of the provenance of Datalog queries over commutative omega-continuous semirings.

연구 동기 및 목표

• 문맥 자유 문법에 대해 아이디포텐트 경우($k=1$)에서 더 높은 차수의 아이디포텐트 항등식($k=k+1$)으로 파르크의 정리를 일반화하기 위해.
• 각 파르크 벡터당 왼쪽에서의 유도 수를 세는 순환적 모호성 함수 $\operatorname{\mathsf{camb}}_{G,X}$ 가 $k=k+1$에 대해 유리 함수임을 입증하기 위해.
• 일반화된 반군 위에서 유리 형식 거듭제곱 급수를 사용하여 $\operatorname{\mathsf{camb}}_{G,X}$ 를 근사화하는 구축 가능한 방법을 제공하기 위해.
• 다글로그 프로빙 계산 및 반군 위에서의 대수적 시스템 결과를 뉴턴 반복을 통해 비아이디포텐트 설정으로 확장하기 위해.

제안 방법

• 문맥 자유 문법에서 유도된 대수적 시스템의 최소 해를 근사하기 위해 $\omega$-연속 반군 위에서 일반화된 뉴턴의 방법을 활용한다.
• $k = k+1$가 성립하는 반군 $\mathbb{N}_k\langle\!\langle\mathbb{N}^\mathsf{A}\rangle\!\rangle$ 를 도입하여, 모호성 수를 유한하게 표현할 수 있도록 한다.
• $\mathbb{N}_k\langle\!\langle\mathbb{N}^\mathsf{A}\rangle\!\rangle$ 에서 스타 연산에 대한 새로운 항등식(I1–I5)을 유도하며, 이는 고전적인 정규 표현식 항등식을 일반화한다.
• 항등식 (I3)–(I5) 를 사용하여 스타 높이를 1로 감소시켜, 유리 표현식을 가중 선형 집합의 합으로 변환한다.
• $kx = k\cdot\operatorname{\mathsf{supp}}(x)$ 라는 항등식을 적용하여 반복된 항들을 정규 표현식의 지지집합으로 압축한다.
• 집합 $\{{\boldsymbol{v}} \mid \operatorname{\mathsf{camb}}_{G,X}({\boldsymbol{v}}) = k\}$ 를 위한 프레스버거 산술 공식을 구성하여 논리적 특성화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 파르크의 정리인 문맥 자유 언어의 반선형성은 아이디포텐트 경우($k=1$)를 초월하여 더 높은 차수의 아이디포텐트 항등식으로 확장될 수 있는가?
• RQ2 모든 $k \in \mathbb{N}$ 에 대해, 순환적 모호성 함수 $\operatorname{\mathsf{camb}}_{G,X}$ 는 항등식 $k = k+1$ 에 대해 유리 함수인가?
• RQ3 $\omega$-연속 반군 위에서 대수적 시스템의 최소 해는 비아이디포텐트 설정에서 효과적으로 근사될 수 있는가?
• RQ4 일반화된 반군 $\mathbb{N}_k\langle\!\langle\mathbb{N}^\mathsf{A}\rangle\!\rangle$ 에서 스타 연산을 지배하는 항등식은 무엇인가?
• RQ5 $\{{\boldsymbol{v}} \mid \operatorname{\mathsf{camb}}_{G,X}({\boldsymbol{v}}) = k\}$ 는 프레스버거 산술로 표현될 수 있는가?

주요 결과

• 순환적 모호성 함수 $\operatorname{\mathsf{camb}}_{G,X}$ 는 항등식 $k = k+1$ 에 대해 유리 함수이며, $k=1$ 인 경우 파르크의 원래 결과를 확장한다.
• 뉴턴 반복 근사의 수렴 속도에 하한을 설정하여 효과적인 근사가 가능함을 보장한다.
• $\mathbb{N}_k\langle\!\langle\mathbb{N}^\mathsf{A}\rangle\!\rangle$ 내의 모든 유리 급수는 유한한 가중 선형 집합의 합으로 표현 가능하며, 이는 반선형적 구조를 일반화한다.
• 항등식 (I1)–(I5) 를 통해 임의의 유리 표현식을 스타 높이가 최대 1인 형태로 변환할 수 있으며, 이는 유한한 표현을 가능하게 한다.
• 집합 $\{{\boldsymbol{v}} \mid \operatorname{\mathsf{camb}}_{G,X}({\boldsymbol{v}}) = k\}$ 는 프레스버거 산술에서 정의 가능하며, 이는 코로나리 5.4에 의해 입증되었다.
• 이 구성은 비아이디포텐트 설정에서도 모호성 수를 가중 합집합의 선형 집합으로 표현하는 구체적인 알고리즘적 방법을 제공한다.