부분 콘웨이와 반복 세미링의 새로운 이론

본 논문은 콘웨이 세미링의 한계를 극복하고자 ‘부분 콘웨이 세미링(partial Conway semiring)’이라는 새로운 구조를 제안한다. 서론에서는 정규 언어와 그 연산인 합·곱·별이 만족해야 하는 콘웨이 항등식이 Kleene 정리의 핵심임을 설명하고, 자연수 세미링 \(\mathbb N\)이나 \(\mathbb N^{\text{rat}}\langle\!\langle\Sigma^*\rangle\!\rangle\)와 같이 별 연산이 전역적으로 정의될 수 없는 사례들을 제시한다. 이러한 세미링들은 기존 콘웨이 세미링에 삽입할 수 없으며, 따라서 가중 자동자 이론에 직접 적용하기 어렵다. 2장에서는 세미링의 기본 개념을 정리하고, 다항 세미링과 파워 시리즈 세미링, 행렬 세미링 및 행렬 이론, 그리고 이중성(duality)에 대해 설명한다. 특히, 파워 시리즈 세미링 \(S\langle\!\langle\Sigma^*\rangle\!\rangle\)가 세미링 구조를 갖는 방법과, 행렬 이론 \(\text{Mat}\,S\)가 세미링과 동형인 사실을 강조한다. 3장에서는 부분 ∗‑세미링(partial ∗‑semiring)을 정의한다. 여기서 별 연산 \(*\)는 세미링 \(S\)의 이상 \(I\subseteq S\) 위에서만 정의되며, \(0^*\)는 항상 정의된다. 부분 콘웨이 세미링은 두 핵심 항등식, 즉 합별식 \((a+b)^* = a^*(ba^*)^*\)와 곱별식 \((ab)^* = 1 + a(ba)^*b\)를 각각 \(a,b\in I\)와 \(a\in I\) 혹은 \(b\in I\)인 경우에만 요구한다. 이 정의는 기존 콘웨이 세미링을 특수 경우로 포함한다. 다음으로 저자는 ‘부분 콘웨이 행렬 이론(partial Conway matrix theory)’을 도입한다. 행렬 이론 \(\text{Mat}\,S\)에 대해, 이상 \(I\)에 속하는 모든 원소들로 이루어진 행렬 집합 \(M(I)\)를 고려하고, 정사각 행렬에만 별 연산을 부여한다. 행렬 버전의 합별식 \((A+B)^* = A^*(BA^*)^*\)와 곱별식 \((AB)^* = E + A(BA)^*B\)가 \(A,B\in M(I)\)에 대해 성립한다. 정리 3.5는 “\(S\)가 부분 콘웨이 세미링이면, \(\text{Mat}\,S\)에 위와 같은 별 연산을 정의하면 부분 콘웨이 행렬 이론이 된다”는 것을 증명한다. 이로부터 즉시 각 차원 \(n\)에 대해 \(S^{n\times n}\)도 부분 콘웨이 세미링이 된다는 추론(정리 3.6)과, 부분 콘웨이 세미링과 부분 콘웨이 행렬 이론 사이의 범주 동형성(정리 3.8)이 따라온다. 4장에서는 부분 반복 세미링(partial iteration semiring)을 정의한다. 여기서는 부분 콘웨이 세미링에 추가로 ‘그룹 항등식’과 ‘선형 방정식의 유일해 존재성’이라는 조건을 부과한다. 저자는 부분 반복 세미링이 실제로는 부분 반복 세미링(partial iterative semiring)과 동등함을 보이며, 이를 통해 \(S\langle\!\langle\Sigma^*\rangle\!\rangle\)가 부분 반복 세미링임을 증명한다. 특히, 모든 선형 방정식 \(X = AX + B\)가 \(A\)가 이상에 속할 때 유일한 해 \(X = A^*B\)를 갖는다는 사실은 가중 자동자와 언어 인식에 중요한 의미를 가진다. 마지막으로 논문은 이러한 이론이 기존 연구(