무한 문자열 자동화에서 확률적 선택의 힘

초록

이 논문은 확률적 부치 자동기(PBA)의 표현력과 결정 문제를 조사한다. ‘확률적(>0)’과 ‘거의 확실(=1)’ 두 수용 의미에 대해 공백, 전체성, 포함 관계의 복잡도를 정확히 규명하고, 언어들의 위상적 위치를 Borel 계층에서 분석한다. 또한 계층적 구조를 갖는 제한형 PBA(HPBA)를 제시해 ω‑정규 언어와 정확히 일치함을 보이며, 해당 모델의 결정 문제 복잡도가 NL·PSPACE 수준임을 입증한다.

상세 분석

본 논문은 무한 문자열을 입력으로 하는 확률적 부치 자동기(PBA)의 두 가지 수용 의미, 즉 확률적 의미 L > 0(B)와 거의 확실 의미 L = 1(B)를 중심으로 연구를 전개한다. 먼저, 전이 확률이 유리수인 RatPBA에 대해 공백 문제와 전체성 문제의 복잡도를 정확히 규명한다. L = 1(B)의 공백·전체성은 PSPACE‑complete임을 보이며, 이는 기존 EXPTIME‑hard 추정보다 강력한 결과다. 반면 L > 0(B)의 공백·전체성은 Σ⁰₂‑complete으로, 일반적인 자동기 이론에서 보이는 분석적 계층을 넘어서는 복잡도와는 달리 산술 계층의 두 번째 수준에 머무른다. 포함 관계 문제 역시 L = 1과 L > 0 각각에 대해 Σ⁰₂‑complete임을 증명한다.

다음으로, 언어들의 위상적 특성을 Borel 계층으로 분석한다. L = 1(PBA) 클래스는 G_δ에 엄격히 포함되고, L > 0(PBA) 클래스는 G_δ의 Boolean 폐쇄에 속한다는 사실을 보인다. 이는 ω‑정규 언어가 Borel 계층의 낮은 수준에 머무는 것과 일치한다. 또한, L = 1은 교집합·합집합에 대해 닫혀 있으나 보완에 대해서는 닫혀 있지 않으며, 모든 L > 0 언어는 L = 1 언어들의 Boolean 조합으로 표현될 수 있음을 보여준다.

마지막으로, 계층적 PBA(HPBA)를 정의한다. 상태를 레벨별로 구분하고, 같은 레벨로의 전이는 최대 하나이며 나머지는 상위 레벨로만 이동하도록 제한한다. 이 구조적 제한은 확률적 의미와 거의 확실 의미 모두에서 ω‑정규 언어와 정확히 일치한다는 강력한 결과를 낳는다. 특히, HPBA의 공백·전체성 문제는 각각 NL‑complete와 PSPACE‑complete(또는 그 반대)이며, 이는 전통적인 부치 자동기의 복잡도와 동일하게 된다. 이러한 결과는 확률적 모델에서도 정규성 검증이 효율적으로 가능함을 시사한다.

전체적으로 논문은 확률적 무한 자동기의 표현력과 결정 문제 복잡도를 체계적으로 정리하고, 구조적 제한을 통해 정규 언어와의 정확한 대응을 제시함으로써 형식 검증 분야에 실용적인 도구를 제공한다.