정규 언어의 영‑일 법칙을 위한 자동이론적 접근: 알고리즘 및 논리적 측면

초록

본 논문은 정규 언어가 영‑일 법칙을 만족하는지 여부를 그 언어의 합성군에 영원소(zero element)가 존재하는지와 동등하게 만든다. 이를 위해 ‘zero automaton’이라는 동기화된 싱크 상태를 갖는 자동자를 정의하고, 최소 자동자에서 이 특성이 존재하면 영‑일 법칙이 성립함을 보인다. 또한 이러한 판정을 선형 시간 알고리즘으로 구현하고, 논리적 관점(FO, MSO 등)에서의 의미도 논의한다.

상세 분석

이 논문은 정규 언어 L에 대해 asymptotic probability µ(L)=limₙ|L∩Aⁿ|/|Aⁿ| 가 존재하고 0 또는 1이 되는 경우를 ‘zero‑one language’라 정의한다. 핵심 결과는 정규 언어 L이 zero‑one law를 만족하는 것과 L의 syntactic monoid M(L) 가 영원소 0을 갖는 것이 동치임을 보이는 정리이다. 이를 증명하기 위해 저자는 Eilenberg의 variety 이론을 활용한다.

먼저 언어와 자동자에 대한 기본 개념을 정리하고, Lemma 1을 통해 최소 자동자 A_L 의 상태 집합 P에 대한 past(P) 를 L의 왼쪽/오른쪽 quotient들의 유한한 부울 조합으로 표현한다. 이는 언어가 Boolean 연산과 quotient에 대해 닫혀 있음을 보이는 기반이 된다.

다음으로 ‘zero automaton’이라는 새로운 자동자 클래스를 도입한다. 정의에 따르면 zero automaton 은 (1) 모든 상태를 하나의 sink state p 로 수렴시키는 동기화(synchronizing) 단어가 존재하고, (2) p 가 완전한 sink 상태이며, (3) 강하게 연결된 sink 컴포넌트가 유일하고 단일 상태이다. Lemma 2는 이 정의와 “유일한 강연결 sink 컴포넌트가 존재하고 그것이 단일 상태”라는 조건이 동치임을 증명한다.

그 후 ZO(=zero‑one languages) 가 Boolean 연산, 좌·우 quotient에 대해 닫혀 있음을 Proposition 1 로 보여준다. 특히 Lemma 3을 이용해 wL·와 Lw· 의 asymptotic probability 가 |A|^{-k}·µ(L) 로 스케일링된다는 사실을 이용해 quotient 폐쇄성을 증명한다.

주요 정리(Theorem 1)는 네 가지 조건의 동치를 제시한다. (1) 최소 자동자 A_L 이 zero automaton 이다. (2) L 의 syntactic monoid 이 영원소를 가진다. (3) L 이 zero‑one law 를 만족한다. (4) L 이 quasi‑zero automaton 으로 인식된다. 여기서 (3)⇒(1) 가 가장 어려운 방향이며, Lemma 1 과 ZO 의 폐쇄성을 결합해 증명한다.

조건 (1)⇔(4) 를 통해 quasi‑zero automaton 의 정의를 제시하고, 이를 기반으로 선형 시간 알고리즘(Theorem 2)을 설계한다. 최소 자동자를 O(|Q|) 시간에 탐색해 sink 상태와 동기화 단어 존재 여부를 확인함으로써 L 이 zero‑one 언어인지 여부를 즉시 판단한다.

마지막으로 논리적 측면을 다룬다. 정규 언어가 zero‑one law 를 만족하면 해당 언어는 FO