[논문 리뷰] Deciding Word Problems of Semigroups using Finite State Automata

Max Neunhöffer, Markus Pfeiffer외 1명|arXiv (Cornell University)|2012. 06. 08.

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

한 줄 요약

이 논문은 유한 상태 오토마타를 통해 결정 가능성이 보장되는 분수어 문제를 갖는 반군(rwp-semigroups)을 도입한다. 이는 상수 메모리, 이차 시간 복잡도 알고리즘을 가능하게 한다. 주요 기여는 rwp-반군이 유한 생성된 부분반군, 직접곱, 유한 이상의 확장에 대해 닫혀 있음을 증명하는 것이며, 또한 이 클래스 내에서 유한성, 군성, 모노이드성, 자유성 등의 성질이 결정 가능하다는 것을 보여준다.

ABSTRACT

We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and algebraic properties of these semigroups.

연구 동기 및 목표

• 어느 반군의 어구 문제가 그의 알파벳으로 생성된 자유 모노이드 위의 분수관계로 정의될 수 있음을 정의하고 특성화하는 것.
• 직접곱, 부분반군, 0 또는 항등원 추가 등의 일반적인 반군 구성에 대해 rwp-반군의 닫힘 성질을 확립하는 것.
• rwp-반군 내에서 유한성, 군성, 모노이드 구조, 자유성 등의 구조적 성질이 결정 가능한지 증명하는 것.
• rwp-반군과 어구-하이퍼볼릭 반군 간의 관계를 탐색하여, 모든 rwp-반군이 어구-하이퍼볼릭임을 보여주는 것.
• 개방 문제, 특히 rwp-반군에 대한 동형 문제를 조사하고, rwp-반군과 분수 모노이드 간의 비교를 수행하는 것.

제안 방법

• 어느 반군의 어구 문제를 그의 알파벳으로 생성된 자유 모노이드 위의 분수관계로 정의한다.
• 유한 상태 오토마타를 사용하여 어구 문제를 정의하는 분수관계를 인식함으로써, 상수 메모리, 이차 시간 결정 절차를 가능하게 한다.
• 분수관계와 인식 가능한 언어의 닫힘 성질을 적용하여, rwp-반군이 부분반군, 직접곱, 유한 이상에 의한 확장에 대해 닫혀 있음을 증명한다.
• 분수관계가 교차와 준동형 사상에 대한 역상에 대해 닫혀 있음을 활용하여, 어구 문제를 암호화하는 문맥 자유 언어를 구성한다.
• 어구-하이퍼볼릭성을 보여주기 위해 언어 $ M = \{u\#_1 v\#_2 w^{\mathrm{rev}} \mid (u\pi)(v\pi) = w\pi\} $ 의 구성 방법을 사용한다.
• 어휘-하이퍼볼릭 반군 내에서 알려진 결정 가능 문제로의 효과적 변환을 통해, 자유성, 군성 등의 결정 문제를 어구-하이퍼볼릭 반군 내의 문제로 환원한다.

실험 결과

연구 질문

• RQ1 어느 반군의 어구 문제가 유한 생성 집합 위의 분수관계로 정의될 경우, 효율적으로 결정 가능할 수 있는가?
• RQ2 어떤 반군 구성이 분수어구 문제 성질을 유지하는가? rwp-반군은 이러한 연산에 대해 닫혀 있는가?
• RQ3 rwp-반군이 유한한지, 군인지, 모노이드인지, 자유인지 여부를 결정할 수 있는가?
• RQ4 rwp-반군은 사카로비치가 정의한 분수 모노이드와 일치하는가?
• RQ5 rwp-반군에 대한 동형 문제의 결정 불가능성은 입증되었는가? 만약 그렇다면, 기존의 결정 불가능성 결과로 환원될 수 있는가?

주요 결과

• rwp-반군의 어구 문제는 유한 상태 오토마타를 사용하여 상수 메모리와 이차 시간 내에 결정 가능하다.
• rwp-반군은 유한 생성 부분반군, 직접곱, 0 또는 항등원 추가, 유한 이상에 의한 확장에 대해 닫혀 있다.
• 모든 rwp-반군은 어구-하이퍼볼릭이며, 관련 언어 $ M $ 가 문맥 자유이고 분수어구 문제로부터 구성 가능하기 때문이다.
• rwp-반군이 유한한지, 군인지, 모노이드인지, 자유인지 여부는 결정 가능하며, 군성은 유한성 검증과 철저한 검증을 통해 결정 가능하다.
• rwp-반군의 동형 문제는 아직 미해결이지만, 결정 불가능성의 강력한 후보이다.
• rwp-반군의 그린 관계는 분수관계의 교차로 표현 가능하므로, 반군 이론에서 분수성과 깊은 구조적 연결이 있음을 시사한다.