자유 반복 및 반복 K반대수

초록

이 논문은 알파벳 Σ 위의 유리 멱급수들을 계수 semiring K와 함께 고려하고, 이러한 구조가 다양한 대수적 클래스에서 자유 대수로서 어떻게 특징지어지는지를 밝힌다. 특히 K-반대수와 반복 K-반대수의 보편적 성질을 정리하고, 기존의 반복 semiring 이론을 일반화한다.

상세 요약

본 연구는 먼저 K가 교환적인 반정역(commutative semiring)임을 가정하고, Σ에 대한 유리 멱급수 K⟨⟨Σ⟩⟩를 구성한다. 이때 유리 멱급수는 유한 자동화(finite automata)와 정규식(regular expressions)의 의미론적 모델로서, 계수의 합과 곱이 K의 연산에 의해 정의된다. 논문은 이러한 K-계수 멱급수가 ‘반대수(semialgebra)’ 구조를 자연스럽게 갖는 것을 보이며, 특히 두 연산인 덧셈과 곱셈이 K-선형성을 만족함을 증명한다.

핵심적인 기여는 ‘반복 K-반대수(iteration K-semialgebra)’라는 새로운 클래스의 정의와 그 자유 객체(free object)의 존재 증명이다. 반복 K-반대수는 고정점 연산(*)을 포함하는데, 이는 전통적인 반복 semiring에서의 별 연산과 동형이며, 모든 원소에 대해 최소 고정점을 제공한다. 저자는 이 고정점 연산이 K-선형성을 보존하면서도, 유리 멱급수의 닫힘성(closedness)을 유지한다는 점을 강조한다.

또한, 논문은 자유 반복 K-반대수가 ‘K-선형 연산을 보존하는 유리 멱급수 집합’과 동형임을 보이기 위해, 카테고리 이론적 접근을 사용한다. 구체적으로, K-반대수와 반복 K-반대수 사이의 함자(adjunction)를 구성하고, 그 좌측 사상(left adjoint)이 자유 생성자를 제공함을 증명한다. 이 과정에서 ‘K-가중 자동화(K-weighted automata)’와 ‘K-정규 표현식(K-regular expressions)’ 사이의 동등성도 활용한다.

특히 주목할 점은 저자가 기존의 반복 semiring 이론을 K가 비-부정적인 경우뿐 아니라, 음수나 무한 원소를 포함할 수 있는 일반적인 교환 semiring까지 확장했다는 것이다. 이를 위해 고정점 연산의 정의를 K-모듈 구조와 조화시키는 새로운 기술을 도입했으며, 이는 기존 문헌에서 다루어지지 않았던 경우에도 보편적인 자유성 결과를 얻을 수 있게 한다.

마지막으로, 논문은 자유 반복 K-반대수의 구체적 구성 예시로서, 폴리노미얼 semiring, 부울 semiring, 그리고 tropical semiring 등을 제시한다. 각 예시마다 유리 멱급수의 표현 방법과 고정점 연산이 어떻게 구현되는지를 상세히 설명함으로써, 이론적 결과가 실제 계산 모델에 적용 가능함을 입증한다.