자연수 계수 유리 멱급수와 자유 반복 반정리체

본 논문은 컴퓨터 과학에서 핵심적인 대수 구조인 반정리체와 멱급수의 관계를 심도 있게 탐구한다. 서론에서는 정규 언어의 반정리체적 공리화 역사를 조명하고, Salomaa, Kozen, Krob 등 기존 연구가 제시한 유한·무한 공리계의 한계점을 지적한다. 특히 별 연산이 부분적으로만 정의되는 경우와 완전하게 정의되는 경우를 구분해야 함을 강조한다. 2장에서는 반정리체의 기본 정의와 예시(자연수 반정리체 ℕ, 불 대수 B, 무한 원소를 포함한 ℕ∞) 를 소개하고, 행렬 반정리체와 멱급수 반정리체의 구성 방법을 설명한다. 특히 ℕ^rat⟨⟨Σ*⟩⟩와 ℕ∞^rat⟨⟨Σ*⟩⟩가 각각 ‘proper series’와 ‘total series’ 로 구분되는 이유를 명확히 한다. 3장에서는 Conway 반정리체와 그 확장인 iteration semiring 를 정의한다. 여기서는 (a+b)* = a* (b a*)* 와 (ab)* = 1 + a (ba)* b 라는 두 기본 항등식을 제시하고, 모든 유한 군에 대한 그룹 항등식(10)을 도입한다. 부분 Conway 반정리체와 전체 Conway 반정리체의 차이점, 그리고 이들 구조가 행렬에 대해 어떻게 보존되는지를 상세히 증명한다. 4장에서는 기존의 Kleene‑Schützenberger 정리를 부분 Conway 반정리체에 맞게 재구성한다. 이 정리는 언어·시퀀스 인식과 별 연산 사이의 동형성을 제공하며, 이후 자유성 증명에 핵심 도구로 활용된다. 5장에서는 교환 항등식 1*1* = 1* , 1* a = a 1* , 1* (1* a)* = 1* a* 를 도입하고, 이들이 ℕ‑계수 유리 멱급수에 대해 어떻게 작용하는지를 기술한다. 특히 이러한 항등식이 ℕ^rat⟨⟨Σ*⟩⟩를 부분 반복 반정리체의 **최소** 모델로 만드는 데 필수적임을 보인다. 6장에서는 ℕ^rat⟨⟨Σ*⟩⟩가 **부분 반복 반정리체**의 자유 객체임을 증명한다. 구체적으로, Σ에 대한 임의의 부분 반복 반정리체 S와 사상 f: Σ → S 가 주어지면, 유일한 반정리체 사상 ˆf: ℕ^rat⟨⟨Σ*⟩⟩ → S 가 존재함을 보인다. 이 과정에서 앞서 제시한 교환 항등식과 Kleene‑Schützenberger 정리를 핵심적으로 이용한다. 7장에서는 ℕ∞ 를 도입해 ℕ∞^rat⟨⟨Σ*⟩⟩를 다룬다. 여기서는 별 연산이 전체에 정의되므로 전체 iteration semiring 를 고려한다. 저자는 세 개의 교환 항등식에 더해 모든 유한 군에 대한 그룹 항등식을 만족하는 다양체 V 를 정의하고, ℕ∞^rat⟨⟨Σ*⟩⟩가 V에서 Σ에 의해 자유 생성된 반정리체임을 증명한다. 8장에서는 V가 **완전·연속 반정리체**가 생성하는 다양체와 동등함을 보인다. 완전 반정리체는 무한 합을 허용하고, 연속성은 순서론적 극한과 일치한다. 따라서 ℕ∞^rat⟨⟨Σ*⟩⟩는 이러한 완전·연속 구조의 대표적인 예가 된다. 9장에서는 합 순서(≤)를 도입해 ℕ∞^rat⟨⟨Σ*⟩⟩를 **대칭 귀납 *‑반정리체**(symmetric inductive *‑semiring) 로 본다. 여기서는 고정점 항등식 a* + 1 = a* 와 최소 전피점 규칙 ∀a,b,x (ax + b ≤ x ⇒ a* b ≤ x) 가 만족된다. 저자는 이 체계가 Kozen이 제시한 정규 언어의 공리계와 정확히 일치함을 확인한다. 결론에서는 연구 결과를 요약하고, 자유 반복 반정리체와 완전·연속 반정리체 사이의 깊은 연관성을 강조한다. 또한 향후 연구 방향으로, 비가산 알파벳에 대한 확장, 다른 종류의 완전성(예: ω‑완전성)과의 관계, 그리고 프로그래밍 언어 의미론에의 적용 가능성을 제시한다.