확률 가중 자동기의 이론과 응용

초록

확률적 전이 선택을 도입한 가중 자동기를 정의하고, 거의 확실(Almost‑sure) 및 양(Positive) 의미론 하에서의 공허성·보편성 문제, 표현력 비교, 그리고 max·min·sum·보수 연산에 대한 폐쇄성을 체계적으로 조사한다.

상세 분석

본 논문은 전통적인 비결정론적 가중 자동기(NWA)의 한계를 극복하기 위해 확률적 전이 선택을 허용하는 새로운 모델, 즉 확률 가중 자동기(PWA)를 제안한다. PWA는 각 전이가 확률 분포에 따라 선택되며, 실행 경로(run)의 가치는 기존과 동일하게 최대값, limsup, liminf, 평균, 할인합 등 여러 수치 기준 중 하나로 평가된다. 여기서 두 가지 의미론이 핵심이다. ‘Almost‑sure’ 의미론은 어떤 실수 v에 대해, 모든 실행 경로가 확률 1로 v 이상 값을 갖는 경우를 말하고, ‘Positive’ 의미론은 양의 확률로 v 이상을 달성하는 경우를 의미한다. 이러한 정의는 정량적 언어 L(w)를 실수값 함수로 해석하게 하며, 공허성(∃w·L(w)>θ)·보편성(∀w·L(w)>θ) 문제를 기존 자동기 이론과 동일한 형태로 제기한다.

결정 가능성 측면에서 저자는 자동기의 종류(최대값, limsup, liminf, 평균, 할인합)와 의미론(Almost‑sure, Positive)을 조합한 10여 가지 경우에 대해 복잡도와 decidability를 분석한다. 예를 들어, 평균값 자동기의 Almost‑sure 공허성은 PSPACE‑complete로 결정 가능하지만, Positive 의미론 하에서는 동일 문제가 undecidable임을 증명한다. 할인합 자동기의 경우는 특이하게, 확률 선택이 비결정론적 선택과 동일한 표현력을 가지므로, 확률적 확장이 별다른 이득을 주지 않는다.

표현력 비교에서는 PWA가 비결정론적 가중 자동기보다 엄격히 강력함을 보인다. 특히, Almost‑sure 의미론 하에서 limsup·liminf 자동기는 비결정론적 모델이 표현하지 못하는 언어를 정의한다. 반면, 할인합 자동기는 확률적 확장이 무의미함을 보여, 기존 NWA와 동등한 클래스에 머문다.

폐쇄성 조사에서는 정량적 언어에 대한 점별 연산(max, min, sum, numerical complement)에 대해 각 자동기 클래스가 닫혀 있는지를 체계적으로 정리한다. 예를 들어, Almost‑sure limsup 자동기는 max와 sum에 대해 닫혀 있으나, min 연산에서는 닫히지 않는다. 반대로 Positive 평균 자동기는 min과 max 모두에 대해 닫혀 있지만, 수치 보수(complement) 연산에서는 폐쇄되지 않는다. 이러한 결과는 언어 조합 시 어떤 자동기 모델을 선택해야 하는지에 대한 설계 지침을 제공한다.

전반적으로 논문은 확률적 선택이 정량적 언어 이론에 가져다 주는 새로운 차원을 명확히 제시하고, 각 모델별로 결정 가능성, 표현력, 연산 폐쇄성이라는 세 축에서 상세한 분류표를 제공한다. 이는 모델 검증, 성능 분석, 그리고 확률적 시스템 설계에 있어 중요한 이론적 토대를 마련한다.