사이클‑출구가 없는 Mealy 자동자는 유한군을, 그렇지 않으면 무한군을 만든다

초록

**
본 논문은 가역(Mealy) 자동자에서 “모든 사이클이 싱크 컴포넌트인 경우”가 생성 군이 유한함을 보장하고, 반대로 사이클에 출구가 존재하면 생산 함수 선택을 통해 무한군을 만들 수 있음을 증명한다. 즉, 사이클‑출구가 없는 자동자 군의 구조적 특성이 유한성을 완전하게 규정한다는 결과를 제시한다.

**

상세 분석

**
논문은 먼저 Antonenko와 Russyev가 독립적으로 증명한 “출구가 없는 사이클(즉, 모든 사이클이 싱크 컴포넌트) → 유한(반)군” 명제를 재정리한다. 그 다음, 비가역적 경우에 대한 Antonenko의 최대성 결과(출구가 있는 사이클이 있으면 적절히 비가역적인 생산 함수를 선택해 무한 반군을 만들 수 있음)를 가역적, 즉 가역·가역·역가역(bireversible)인 경우로 확장한다. 핵심 아이디어는 Mealy 자동자의 이중(dual) 자동자를 활용해 상태와 알파벳을 교환함으로써, 원 자동자의 구조적 제약을 동등하게 분석할 수 있다는 점이다.

세부 증명은 네 가지 주요 레마와 하나의 정리로 구성된다.

1. Lemma 3은 이진 알파벳을 가정하고 외부 출구가 있는 사이클이 존재하면, 해당 사이클의 라벨을 순환시키는 전치(permutation) 생산 함수를 정의해 이중 자동자를 2‑상태 가역 자동자로 만든다. 여기서 “펌핑 레마”(Lemma 2)를 적용해 무한 군을 얻는다.
2. Lemma 4(River‑of‑no‑return)에서는 사이클이 외부 출구를 갖고 그 출구에서 사이클에 다시 도달할 수 없을 때, 추가적인 전치를 이용해 “덧셈 기계”(adding machine)와 동일한 동작을 구현한다. 이 경우 한 상태가 무한 차수 원소가 되므로 군이 무한한다.
3. Lemma 5는 가역 자동자 자체가 이미 전치 전이 함수를 갖는 경우를 다룬다. 두 상태 x, y가 동일한 후속 상태 z로 전이되는 상황을 이용해 x와 y에 서로 다른 전치를 부여하면, 자동자는 가역·역가역이 아니게 되지만 (F4) 성질에 의해 무한 군을 생성한다.
4. Theorem 6은 위 세 레마를 포괄적으로 결합한다. 먼저 (F1) 정리를 이용해 사이클에 도달하지 못하는 상태를 제거(프루닝)한다. 이후 자동자가 가역이면 Lemma 5, 비가역이면 외부 출구가 있는 전이 혹은 “River‑of‑no‑return” 상황을 찾아 Lemma 3 또는 Lemma 4를 적용한다. 결국 모든 사이클‑출구가 있는 자동자는 적절한 전치 선택만으로 무한 군을 만들 수 있음을 보인다.

핵심 통찰은 “출구가 없는 사이클”이라는 구조적 조건이 가역·비가역 여부와 무관하게 군의 유한성을 완전히 결정한다는 점이다. 또한, 이중 자동자와 펌핑 레마를 활용한 증명 기법은 기존의 복잡한 동역학 분석을 회피하고, 순수히 그래프 이론적 관점에서 문제를 해결한다는 장점을 가진다.

**