정량 언어의 표현력과 연산 폐쇄성에 관한 심층 탐구

초록

이 논문은 가중 오토마타가 정의하는 정량 언어의 표현력과 다양한 연산(최대, 최소, 보수, 합)에 대한 폐쇄성을 조사한다. 특히 무한 단어에 대해 한계 평균과 할인 합을 적용한 경우, 임계값이 고립된 상황에서는 해당 언어가 ω-정규임을 보이며, 가중치 변동에 강인함을 증명한다. 또한 0·1 가중치 오토마타가 일반 가중 오토마타와 동일한 표현력을 갖는 경우와 그렇지 않은 경우를 구분한다.

상세 분석

본 연구는 정량 언어 L: Σ^ω → ℝ를 정의하는 가중 오토마타의 여러 종류를 체계적으로 비교한다. 무한 단어에 대해 실행값을 최대값, limsup, liminf, 한계 평균(limit‑average), 할인 합(discounted‑sum) 중 하나로 계산하고, 단어값은 해당 실행들의 상한으로 정의한다. 먼저, 결정적 한계 평균 및 할인 합 오토마타에 대해 “값이 임계값 θ보다 큰” 단어 집합이 일반적으로 ω‑정규가 아님을 보인다. 이는 특정 θ가 비고립(threshold not isolated)일 때, 해당 집합이 복잡한 비정규 구조를 가질 수 있음을 의미한다. 반면, θ가 고립된 경우(θ 주변에 값이 존재하지 않는 구간이 존재)에는 항상 ω‑정규 언어가 된다. 이때 얻어지는 ω‑정규 언어는 가중치의 미세한 변동에도 동일한 언어를 유지하는 강인성을 가진다.

다음으로, 전이 가중치를 0 또는 1로 제한한 오토마타(0‑1 가중 오토마타)를 고려한다. 한계 평균 경우에는 0‑1 오토마타가 일반 가중 오토마타와 동등한 표현력을 가지며, 모든 실수값을 구현할 수 있음을 증명한다. 그러나 할인 합 경우에는 0‑1 오토마타가 일반 가중 오토마타보다 표현력이 약함을 보이며, 특정 실수값을 구현할 수 없는 한계가 존재한다.

마지막으로, 두 정량 언어 L₁, L₂에 대해 연산 max(L₁,L₂), min(L₁,L₂), 1‑L₁, L₁+L₂를 정의하고, 각 가중 오토마타 클래스가 이 연산들에 대해 폐쇄되는지를 조사한다. 결과적으로, 최대·최소·보수 연산에 대해서는 대부분의 클래스가 폐쇄성을 유지하지만, 합 연산은 할인 합 오토마타에서 폐쇄되지 않는다. 또한, 결정적·비결정적, 한계 평균·할인 합 등 다양한 조합에 대해 구체적인 반례와 증명을 제공한다. 이러한 분석은 정량 검증, 최적화, 게임 이론 등에서 정량적 모델링의 한계와 가능성을 명확히 하는 데 기여한다.