[논문 리뷰] Slowly synchronizing automata with zero and incomplete sets

Elena V. Pribavkina|ArXiv.org|2009. 07. 27.

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

한 줄 요약

이 논문은 자유 모노이드에서의 불완전 집합의 조합적 성질을 이용하여, 크기가 2 이상인 임의의 알파벳에서 0을 갖는 $n$-상태 결정론적 오토마타의 가족을 구성한다. 언어 $X^*$ 내의 불완전 가능 단어와 유도된 오토마타 $ \widehat{\mathcal{F}}(X)$ 내의 동기화 단어를 연결함으로써, 최단 동기화 단어 길이가 $\frac{n^2}{4} + \frac{n}{2} - 1$인 이러한 오토마타의 존재를 증명한다. 이는 이전까지 이진 알파벳에서만 확보된 최고의 성장률을 유지하면서도, 문자 수 제한 없이 임의의 알파벳으로 확장된다.

ABSTRACT

Using combinatorial properties of incomplete sets in a free monoid we construct a series of n-state deterministic automata with zero whose shortest synchronizing word has length n^2/4+n/2-1.

연구 동기 및 목표

• 고정된 $m$-문자 알파벳에서 0을 갖는 $n$-상태 동기화 오토마타의 최단 동기화 단어의 최대 길이를 결정하는 것.
• 이전에는 이진 알파벳에 국한되어 있었지만, 최적의 성장률 $\Theta(n^2)$를 유지하면서도 이진 사례를 초월하여 확장하는 것.
• 형식 언어 내의 불완전 가능 단어와 0을 갖는 결정론적 오토마타 내의 동기화 단어 사이의 체계적 연결 고리를 확립하는 것.
• 구성된 오토마타가 적절한 성질을 갖는 것을 보장하는 것, 즉 모든 입력 문자가 최단 동기화 단어에 포함되어 있어야 하며, 이는 의미 있는 복잡도 상한을 위한 필수 조건이다.

제안 방법

• 비어 있지 않은 단어가 $X^*$의 어떤 단어의 부분문자열이 되지 않는 집합인 불완전 집합 $X \subset A^*$를 정의하고, 그 조합적 성질을 연구한다.
• 단어 $X$의 접두사와 접미사를 기반으로 전이를 정의하는 반화초기 오토마타 $\mathcal{F}(X)$를 구성하고, 이를 0 상태를 추가하여 결정론적 오토마타 $\widehat{\mathcal{F}}(X)$로 확장한다.
• 단어 $w$가 $X^*$에서 불완전 가능하다는 것과 $\widehat{\mathcal{F}}(X)$를 동기화한다는 것이 동치임을 이용하여, 언어의 불완전성과 오토마타의 동기화 사이의 직접적인 대응 관계를 확립한다.
• 모든 알파벳 $A$의 문자를 포함하는 길이 $k$의 무경계 단어 $u$에 대해 $X = A^k \setminus \{u\}$로 정의하고, 이에 따라 오토마타 $\widehat{\mathcal{F}}(k,u)$를 구성한다. 이 오토마타는 결정론적이며 유일한 0 상태를 갖는다.
• $\widehat{\mathcal{F}}(k,u)$의 최단 동기화 단어가 $w = (ua)^{k-1}u$이며 길이 $k^2 + k - 1$임을 증명하고, 이로 인해 $n = 2k$ 개의 상태가 발생함을 보인다.
• $k > |A|$일 때 오토마타 $\widehat{\mathcal{F}}(k,u)$가 적절함을 보이며, 이는 $u$가 $A$의 모든 문자를 포함하기 때문에 모든 문자가 최단 리셋 단어에 포함됨을 보장한다.

실험 결과

연구 질문

• RQ1 2개 초과의 알파벳 크기에서 0을 갖는 $n$-상태 오토마타의 최단 동기화 단어에 대해 $\Theta(n^2)$ 하한선이 달성될 수 있는가? 이 경우 알파벳 크기를 2로 제한하지 않고도 가능한가?
• RQ2 형식 언어 내의 불완전 가능 단어와 0을 갖는 결정론적 오토마타 내의 동기화 단어 사이의 구조적 연결 고리는 무엇인가?
• RQ3 이러한 오토마타의 구성 방식을 이진 알파벳을 초월하여 일반화하면서도 최단 리셋 단어 길이의 최적 $\Theta(n^2)$ 성장률을 유지할 수 있는가?
• RQ4 어떤 조건에서 결과 오토마타가 적절한 성질을 갖는가? 즉, 모든 입력 문자가 최단 동기화 단어에 포함되어야 하는가?
• RQ5 이러한 구성은 자유 모노이드 내의 불완전 집합과 무경계 단어의 조합적 성질에서 유도될 수 있는가?

주요 결과

• 모든 알파벳 크기 $|A| \geq 2$와 모든 정수 $k > |A|$에 대해, $n = 2k$ 인 $n$-상태 동기화 오토마타가 존재하며, 이 오토마타는 0을 갖고 최단 동기화 단어 길이가 $\frac{n^2}{4} + \frac{n}{2} - 1$이다.
• 이 구성은 이전의 이진 알파벳 결과를 임의의 알파벳으로 일반화하며, 최단 리셋 단어 길이에 대해 동일한 $\Theta(n^2)$ 성장률을 달성한다.
• 오토마타 $\widehat{\mathcal{F}}(k,u)$의 최단 동기화 단어는 $w = (ua)^{k-1}u$이며, 이는 길이 $k^2 + k - 1$을 갖는다. 여기서 $u$는 알파벳 $A$의 모든 문자를 포함하는 길이 $k$의 무경계 단어이다.
• 오토마타 $\widehat{\mathcal{F}}(k,u)$는 결정론적이며 유일한 0 상태를 갖는다. 이는 동기화가 잘 정의되고 유일함을 보장한다.
• 구성 과정은 오토마타가 적절함을 보장한다. 즉, 모든 알파벳 문자가 최단 동기화 단어에 포함되며, 이는 무경계 단어 $u$가 $A$의 모든 문자를 포함하기 때문이다.
• 핵심 통찰은 $X^*$ 내의 불완전 가능 단어와 $\widehat{\mathcal{F}}(X)$ 내의 동기화 단어 사이의 등가성에 기반한다. 이는 조합 언어 이론을 활용하여 동기화가 어려운 오토마타를 구성할 수 있도록 한다.