[논문 리뷰] G-automata, counter languages and the Chomsky hierarchy

Murray Elder|ArXiv.org|2005. 08. 09.

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

한 줄 요약

이 논문은 군의 단어 문제의 계산 복잡도와 그 군의 G-오ート마타가 인식하는 언어 클래스 사이의 기본적인 연결 고리를 설정한다. 유한 생성된 군 G의 단어 문제가 언어 클래스 M(예: 문맥의존, 인덱스)에 속해 있다면, G-오르타마타가 인식하는 모든 언어도 M에 속한다는 것을 증명한다. 핵심 결과는 카운터 언어—ℤⁿ-오르타마타에 의해 인식되는 언어—가 문맥의존적임을 보이며, ℤⁿ의 단어 문제가 인덱스일 때에만 인덱스임을 보여준다.

ABSTRACT

We consider how the languages of $G$-automata compare with other formal language classes. We prove that if the word problem of a group $G$ is accepted by a machine in the class $\mathcal M$ then the language of any $G$-automaton is in the class $\mathcal M$. It follows that the so called {\emph counter languages} (languages of $\mathbb Z^n$-automata) are context-sensitive, and further that counter languages are indexed if and only if the word problem for $\mathbb Z^n$ is indexed.

연구 동기 및 목표

• 군의 단어 문제의 계산 복잡도 클래스와 그 군의 G-오르타마타가 인식하는 언어 클래스 사이의 일반적인 대응 관계를 설정하는 것.
• 카운터 언어—ℤⁿ-오르타마타에 의해 인식되는 언어—가 콘텐츠 계층에서 차지하는 위치를 명확히 하는 것.
• ℤⁿ의 단어 문제의 복잡도를 분석함으로써 카운터 언어가 인덱스인지 여부를 조사하는 것.
• 군 이론적 성질이 형식 언어 클래스를 어떻게 제약하는지 이해하기 위한 이론적 프레임워크를 제공하는 것.

제안 방법

• 간선 레이블로 군 원소를 사용하는 유한 상태 기계로 G-오르타마타를 정의하며, 수용 조건은 입력 단어가 일치하고 군의 곱이 항등원이 되어야 한다는 것이다.
• 군 G의 단어 문제를 수용하는 M-기계 N과 G-오르타마타 P로부터 복합 기계 M을 구성하며, 상태 공간과 전이 규칙을 조합한다.
• 군의 곱 조건을 사용하여 단어 문제 검사를 시뮬레이션함으로써, M이 수용하는 언어가 P가 수용하는 언어와 일치함을 증명한다.
• 언어 클래스가 유한 상태 곱 구조에 대해 닫혀 있음을 활용하여, 단어 문제의 복잡도를 G-오르타마타 언어로 이전한다.
• 가상 자유군 또는 노름군과 같은 군의 단어 문제에 대한 기존 결과를 활용하여, 그들의 G-오르타마타 언어 클래스에 대한 함의를 도출한다.
• 주요 정리를 ℤⁿ의 특수한 경우에 적용하여, 카운터 언어가 문맥의존적임을 보이고, ℤⁿ의 단어 문제가 인덱스일 때에만 인덱스임을 보여준다.

실험 결과

연구 질문

• RQ1 G-오르타마타의 언어가 주어진 형식 언어 클래스 M에 포함되는 조건은 무엇인가?
• RQ2 군 G의 단어 문제의 복잡도는 G-오르타마타가 인식하는 언어의 복잡도를 어떻게 제약하는가?
• RQ3 카운터 언어(ℤⁿ-오르타마타에 의해 인식되는 언어)는 문맥의존적 또는 인덱스적인가?
• RQ4 ℤⁿ의 단어 문제가 인덱스인지 여부는 무엇이며, 이는 카운터 언어 클래스에 어떤 함의를 갖는가?
• RQ5 카운터 언어의 인덱스성은 ℤⁿ의 단어 문제로의 환원을 통해 결정될 수 있는가?

주요 결과

• 유한 생성된 군 G의 단어 문제가 언어 클래스 M에 속해 있다면, G-오르타마타가 인식하는 모든 언어도 M에 속한다.
• ℤⁿ-오르타마타에 의해 인식되는 카운터 언어는 문맥의존적이다. 이는 ℤⁿ의 단어 문제가 문맥의존적이라는 사실 때문이며.
• 모든 n ≥ 1에 대해 카운터 언어는 ℤⁿ의 단어 문제가 인덱스일 때에만 인덱스이다.
• ℤⁿ의 단어 문제가 인덱스임이 알려져 있지 않으며, 이 논문은 관련 언어 L의 복잡도에 기반해 그것이 아닐 것이라고 추측한다.
• L = {xⁿwₙ | n ∈ ℕ, wₙ ∈ Lₙ(y,z)}—ℤ²의 단어 문제의 일부인 언어—는 ℤ²의 단어 문제가 인덱스가 아님을 증명하기 위한 후보로 제안된다.
• G-오르타마타와 단어 문제를 수용하는 M-기계로부터 복합 기계 M을 구성하는 방법은 언어 클래스 소속성을 이전하는 일반적인 방법을 제공한다.