가중 ω 제한 일계 카운터 자동기의 대수적 특성과 문법적 표현

본 논문은 가중 ω‑제한 일계 카운터(ω‑restricted one‑counter) 자동기의 행동을 완전 별‑오메가 반정규반(S) 위에서 정의된 대수적·문법적 구조와 연결시키는 일련의 결과를 제시한다. 먼저 섹션 2에서 완전 반정규반과 그 위에 정의된 반모듈(V)의 기본 개념을 정리하고, 무한 합·곱 연산이 가능한 완전 별‑오메가 반정규반을 정의한다. 이러한 구조는 행렬과 벡터에 자연스럽게 확장되어 (S^{n×n}, V^n) 역시 완전 반정규‑반모듈 쌍이 된다. 섹션 3에서는 제한 일계 카운터(roc) 행렬을 도입한다. roc‑행렬은 푸시다운 알파벳이 단 하나의 기호 p 로 제한된 푸시다운 전이 행렬이며, 세 개의 고정 행렬 A, B, C 로 완전히 기술된다. A는 ‘푸시(p→pp)’ 전이, B는 ‘팝(pp→p)’ 전이, C는 ‘스택 유지(p→p)’ 전이를 나타낸다. 주요 정리 3.1에서는 (M^*)_{p^{i+1},ε} = (M^*)_{p,ε}·(M^*)_{p^{i},ε} 를 증명하고, 이를 통해 (M^*)_{p^{i},ε} = ((M^*)_{p,ε})^{i} 라는 지수를 얻는다. 정리 3.4와 그 여파인 3.5, 3.8에서는 무한 경로 가중치 (M^ω)_p 가 방정식 z = (M_{p,p^2} + M_{p,p^2}(M^*)_{p,ε} + M_{p,p}) z 의 해임을 보이며, 이는 ‘푸시 후 무한 실행’, ‘푸시 후 유한 실행 후 무한 실행’, ‘스택 유지 후 무한 실행’ 세 경우를 모두 포괄한다. 또한 k‑반복 상태 집합을 도입한 (M^ω,k)_p 도 동일한 형태의 선형 방정식의 해임을 정리 3.7에서 증명한다. 이는 부치(Büchi) 수용 조건을 행렬 연산으로 정확히 기술한 결과이다. 섹션 4에서는 ω‑제한 일계 카운터 자동기 C = (n, I, M, P, k)를 정의한다. 여기서 I와 P는 각각 초기·최종 상태 벡터이며, M은 앞서 정의한 roc‑행렬이다. C의 행동 ⟦C⟧는 두 성분으로 구성된다. 첫 번째 성분은 유한 경로 가중치 I·(M^*)_{p,ε}·P 로, 이는 일반적인 푸시다운 자동기의 행동과 동일하다. 두 번째 성분은 무한 경로 가중치 I·(M^ω,k)_p 로, 이는 k개의 반복 상태를 무한히 방문하는 경로만을 포함한다. 앞서 증명된 정리들에 의해 ⟦C⟧는 섹션 3에서 제시된 혼합 대수 시스템의 해의 한 성분이 된다. 즉, 가중 ω‑제한 일계 카운터 자동기의 전체 행동을 완전 반정규‑반모듈 쌍 위의 선형 방정식으로 완전하게 기술할 수 있다. 섹션 5에서는 기본 반정규를 불리언 반정규 B 혹은 무한 자연수 반정규 ℕ^∞ 로 제한한다. 이 경우 행렬 A, B, C 의 원소가 0·1 혹은 자연수(무한 포함) 로 제한되므로, 대수적 해를 직접적인 언어(문맥 자유) 형태로 변환할 수 있다. 논문은 ‘삼중‑쌍(triple‑pair)’ 문법을 정의한다. 비터미널 집합은 (i, p, j) 형태의 3‑튜플과 (i, p) 형태의 2‑튜플로 구성되며, 생산 규칙은 다음과 같이 구분된다. (1) 유한 경로에 대응하는 규칙은 A, B, C 를 이용해 (i, p, j) → a (k, p, l) 형태로 전이한다. (2) 무한 경로에 대응하는 규칙은 (i, p) → a (i, p)·…·(i, p) 형태로, 부치 수용을 구현한다. 이 문법은 ⟦C⟧ 와 동등한 가중 시리즈를 생성함을 증명한다. 특히, 기존의 제한 일계 카운터 자동기에 대한 ‘삼중 구성(triple construction)’이 무한 단어까지 확장된 형태이며, ‘삼중‑쌍’이라는 명칭은 유한·무한 두 종류의 비터미널을 동시에 다루는 점을 강조한다. 결론적으로, 논문은 (i) 제한 일계 카운터 자동기의 전이 구조를 행렬 A, B, C 로 단순화, (ii) 완전 별‑오메가 반정규반 위에서 유한·무한 경로 가중치를 별·오메가 연산으로 표현, (iii) 이러한 대수적 표현을 불리언·ℕ^∞ 경우에 문맥 자유 문법으로 변환, 라는 세 단계의 통합 프레임워크를 제공한다. 이는 가중 무한 자동기의 행동을 대수 방정식으로 분석하고, 필요시 문법적 형태로 변환함으로써 형식 언어 이론과 무한 자동기 이론 사이의 교량을 마련한다.