[논문 리뷰] Formal languages and groups as memory

Mark Kambites|arXiv (Cornell University)|2006. 01. 04.

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

한 줄 요약

이 논문은 모노이드나 군의 원소를 저장하는 레지스터를 갖춘 유한 오ート마타인 $M$-오ート마타와 $G$-오ート마타를 도입하여 찬스키-슈츠너저 정리의 군론적 해석을 제공한다. 다이크 언어의 2면 방향 버전에 대한 유리 전이를 통해 문맥 자유 언어가 정확히 특정해지는 것을 보이며, 계산 모델로 다각형 모노이드와 자유 군을 사용하고, 군의 대수적 성질과 언어 클래스 간의 기초적 결과를 증명한다.

ABSTRACT

We present an exposition of the theory of finite automata augmented with a multiply-only register storing an element of a given monoid or group. Included are a number of new results of a foundational nature. We illustrate our techniques with a group-theoretic interpretation and proof of a key theorem of Chomsky and Schutzenberger from formal language theory.

연구 동기 및 목표

• 모노이드/군 메모리 레지스터를 갖춘 오르타마타의 계산적 접근과 대수적 접근을 통합하기 위해.
• 컴퓨터 과학자와 순수 수학자 모두를 대상으로 $M$-오르타마타와 $G$-오르타마타에 대한 자가 포함된 소개를 제공하기 위해.
• 모노이드와 군의 대수적 성질이 언어 클래스의 폐쇄 성질과 어떻게 연결되는지를 기초적으로 규명하기 위해.
• 다각형 모노이드와 자유 군을 사용하여 찬스키-슈츠너저 정리를 군론적으로 증명하기 위해.
• 허용 가능한 팯딩과 유리 전이를 통해 스택 오르타마타와 $G$-오르타마타 간의 동치성을 보여주기 위해.

제안 방법

• 모노이드 $M$의 원소를 저장하는 레지스터를 갖춘 유한 오르타마타로 $M$-오르타마타를 정의하며, 초기화 시 항등원으로 설정하고 입력 처리 중 곱셈 연산으로 업데이트한다.
• $M$가 군일 경우 $G$-오르타마타를 정의하고, 최종 상태에 도달할 때 레지스터가 항등원으로 재설정된 경우를 수락으로 간주한다.
• 다이크 언어 수용과 레지스터에서 항등원 복귀 간의 동형사상에 의해 스택 오르타마타를 다각형 모노이드 $P(X)$와 자유 군 $F(X^\#)$를 통해 모델링한다.
• 허용 가능한 팻딩 개념—$\#$와 $\#^{-1}$ 기호 삽입—을 적용하여 $\overline{X}^*$ 상의 단어를 $F(X^\#)$와 $P(X^\#)$에 매핑하면서 항등원 표현을 유지한다.
• 자유 모노이드 간의 유리 전이를 활용하여 언어 클래스를 연결하고, 문맥 자유 언어가 이러한 전이에 의해 다이크 언어의 이미지로 나타남을 보여준다.
• 자유 군에서 항등원을 유지하는 허용 가능한 팻딩의 존재를 통해 스택 오르타마타에 의한 수용과 $F(X^\#)$ 상의 $G$-오르타마타에 의한 수용 간의 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 군 메모리와 함께 군론적 오르타마타를 사용하여 찬스키-슈츠너저 정리를 재해석하고 증명할 수 있는가?
• RQ2 다각형 모노이드와 자유 군은 스택 오르타마타와 문맥 자유 언어를 어떻게 모델링하는가?
• RQ3 $F(X^\#)$와 $P(X^\#)$에서의 허용 가능한 팻딩은 어떻게 항등원 표현을 유지하고 오르타마타 모델 간의 동치성을 가능하게 하는가?
• RQ4 모노이드와 군의 어떤 대수적 성질이 $M$-오르타마타에 의해 수용되는 언어 클래스의 폐쇄 성질과 대응하는가?
• RQ5 유리 전이와 자유 군 또는 다각형 모노이드 상의 오르타마타는 어떻게 문맥 자유 언어를 특징짓는가?

주요 결과

• 찬스키-슈츠너저 정리는 자유 군 $F(X^\#)$ 상의 $G$-오르타마타를 사용하여 증명되며, 문맥 자유 언어가 2면 다이크 언어의 유리 전이임을 보여준다.
• 모노이드 $P(X)$ 상에서 $\overline{X}^*$ 상의 단어 $w$가 항등원을 나타내는 것은, 자유 군 $F(X^\#)$ 상에서 항등원을 나타내는 허용 가능한 팻딩이 존재하는 것과 동치이다.
• 단어 $w$에 대해 $F(X^\#)$ 상에서 항등원을 나타내는 허용 가능한 팻딩이 존재하면, $w$가 $F(X^\#)$ 상의 $G$-오르타마타에 의해 수락되는 것과 스택 오르타마타에 의해 수락되는 것이 동시에 성립한다.
• 증명 과정에서 패딩된 단어와 레지스터에서의 항등원 복귀를 통해 스택 오르타마타와 $F(X^\#)$ 상의 $G$-오르타마타 사이에 전단사 관계를 설정한다.
• $G$-오르타마타가 수용하는 언어의 집합은 $G$가 적절한 알파벳 상의 자유 군일 경우 정확히 문맥 자유 언어의 집합과 일치한다.
• $M$-오르타마타 이론은 군의 단어 문제와 그에 관련된 유리 부분집합 문제 및 언어 클래스 간의 관계를 이해하는 통합적 프레임워크를 제공한다.