[논문 리뷰] Syntactic Monoids in a Category

Jiřı́ Adámek, Stefan Milius외 1명|arXiv (Cornell University)|2015. 01. 01.

semigroups and automata theory참고 문헌 2인용 수 4

한 줄 요약

이 논문은 대칭 모나드 닫힘 범주 D에 대해 고전적인 문맥 자유 모노이드의 개념을 일반화하며, 모노이드(집합), 반반환(반순서집합), 그리고 결합 대수(벡터 공간)와 같은 문맥 자유 대수를 통합한다. 문맥 자유 D-모노이드가 최소 자동기의 전이 D-모노이드와 동형임을 증명하고, 문맥 자유 동치 관계에 모듈로 하는 자유 D-모노이드의 몫으로 구성될 수 있음을 보인다. 주요 기여는 국소 유한 성질을 가진 다양체에서 유한한 문맥 자유 D-모노이드를 통해 D-정규 언어를 특성화하는 범주론적 프레임워크를 제공하는 것이다.

ABSTRACT

The syntactic monoid of a language is generalized to the level of a symmetric monoidal closed category D. This allows for a uniform treatment of several notions of syntactic algebras known in the literature, including the syntactic monoids of Rabin and Scott (D = sets), the syntactic semirings of Polak (D = semilattices), and the syntactic associative algebras of Reutenauer (D = vector spaces). Assuming that D is an entropic variety of algebras, we prove that the syntactic D-monoid of a language L can be constructed as a quotient of a free D-monoid modulo the syntactic congruence of L, and that it is isomorphic to the transition D-monoid of the minimal automaton for L in D. Furthermore, in case the variety D is locally finite, we characterize the regular languages as precisely the languages with finite syntactic D-monoids.

연구 동기 및 목표

• 모노이드(집합), 반반환(반순서집합), 벡터 공간 등 다양한 대수적 구조에서의 문맥 자유 대수를 위한 통일된 범주론적 프레임워크를 개발하는 것.
• 자유 모노이드를 문맥 자유 동치 관계에 모듈로 한 몫과 최소 자동기의 전이 모노이드로 구성되는 고전적 문맥 자유 모노이드 구성 방식을, 임의의 대칭 모나드 닫힘 범주 D로 일반화하는 것.
• D가 국소 유한 다양체일 때, 유한한 문맥 자유 D-모노이드를 지닌 언어로 D-정규 언어를 특성화하는 것.
• 국소 유한 다양체에서의 쌍대성에 기반하여 문맥 자유 D-모노이드의 이중 특성화를 수립함으로써, 고전 결과를 범주론적 맥락으로 확장하는 것.

제안 방법

• 입력에 대해 자유 D-모노이드 X^f를 갖는 대칭 모나드 닫힘 범주 D에서 L: X^f → Y 형태의 사상으로 언어를 형식화한다.
• 초기 상태, 출력 사상, 전이 사상으로 구성된 D-자동기를 정의하며, F-대수와 T-코알gebra로 쌍대화한다.
• 언어 L를 인식하는 가장 작은 X-생성 D-모노이드로서의 문맥 자유 D-모노이드를, 문맥 자유 동치 관계에 모듈로 한 자유 D-모노이드의 몫으로 구성한다.
• D가 가환 다양체일 경우, 문맥 자유 D-모노이드가 최소 D-자동기의 전이 D-모노이드와 동형임을 증명한다.
• D-정규 언어를 정의하기 위해, 유한 생성 상태 객체를 갖는 D-자동기로 수용되는 언어로 정의한다.
• 국소 유한 다양체에서 유한 객체 간의 쌍대성에 기반하여 문맥 자유 D-모노이드의 이중 특성화를 수립하며, 이는 뒤집힌 언어로 생성된 국소 다양체 언어와 일치함을 보인다.

실험 결과

연구 질문

• RQ1 고전적인 문맥 자유 모노이드 개념을 집합을 초월한 임의의 대수적 구조로 일반화할 수 있는가?
• RQ2 두 가지 표준적인 문맥 자유 모노이드 구성 방식—문맥 자유 동치 관계에 모듈로 한 몫과 최소 자동기의 전이 모노이드—가 범주론적 프레임워크에서 어떻게 통합될 수 있는가?
• RQ3 언어가 D-정규일 필요충분조건으로서, 그 문맥 자유 D-모노이드가 유한 생성 객체를 지닌다는 조건은 무엇인가?
• RQ4 국소 유한 다양체에서의 쌍대성은 문맥 자유 D-모노이드의 새로운 특성화를 어떻게 제공하는가?

주요 결과

• D가 가환 다양체일 경우, 언어 L의 문맥 자유 D-모노이드는 최소 D-자동기의 전이 D-모노이드와 동형이다.
• 동일한 조건 하에서, 문맥 자유 D-모노이드는 언어 L의 문맥 자유 동치 관계에 모듈로 한 자유 D-모노이드 X^f의 몫으로 구성될 수 있다.
• 국소 유한 다양체 D에서, 언어는 유한 생성 객체를 지닌 문맥 자유 D-모노이드를 지닐 때에만 D-정규 언어이다.
• D가 국소 유한이고 예비 다양체 C를 갖는 경우, 문맥 자유 D-모노이드는 뒤집힌 언어로 생성된 국소 다양체 언어와 이중적으로 대응된다.
• 함수자기 TQ = Y × [X, Q]의 최종 코알제브라로 언어의 집합 [X^f, Y]가 주어지며, 이는 D 내의 모든 언어의 내부화된 모임을 내재화한다.
• 이 이론은 기존의 구성들을 복원한다: 문맥 자유 모노이드(D=집합), 문맥 자유 반반환(D=반순서집합), 문맥 자유 결합 대수(D=벡터 공간)뿐만 아니라, 영 원소를 갖는 모노이드(D=포인트된 집합)와 인보리션 모노이드(D=인보리션 대수)와 같은 새로운 유형의 구조도 도출한다.