미니플러스 모델의 비모호성 및 레지스터 최소화

초록

이 논문은 최소-덧셈(열대) 가중 자동기(WFA)의 비모호성 문제를 결정 가능함을 증명하고, 동등한 표현력을 가진 비용 레지스터 자동기(CRA)의 레지스터 최소화 문제는 레지스터 수가 7개일 때조차도 결정 불가능함을 보인다. 비모호성은 결정 가능성 문제로 환원하여 해결하고, 레지스터 최소화는 폭(width) 개념과 연결해 폭 최소화의 불가능성을 통해 증명한다.

상세 분석

본 연구는 두 가지 핵심 질문을 다룬다. 첫 번째는 열대 반정규 semiring (Z∪{∞}, min, +) 위에서 정의되는 가중 유한 자동기(WFA)의 비모호성(unambiguisability) 여부를 결정할 수 있는가이다. 기존에는 결정 가능성(determinisation) 문제만이 최근에 해결된 바 있었으며, 비모호성은 오랫동안 미해결 문제로 남아 있었다. 저자들은 비모호성 문제를 결정 가능성 문제에 귀환함으로써, 최근에 결정 가능함이 증명된 WFA 결정 가능성 결과를 직접 활용한다. 구체적으로, 주어진 WFA A가 비모호 가능한지 판단하기 위해, A와 가정된 비모호 자동기 U의 부호를 반전시킨 뒤 두 자동기의 곱(product) 자동기 B를 구성한다. B는 입력 단어 w에 대해 B(w)=A(w)−U(w)가 되며, 비모호성 가정 하에 B는 항상 0이거나 ∞이 된다. 이 구조를 이용해 “U‑type gap”이라는 새로운 개념을 도입하고, A가 비모호 가능하다는 것은 일정한 정수 B가 존재해 모든 B‑gap witness가 존재하지 않음과 동치임을 보인다. 여기서 gap은 두 수용 실행이 앞부분에서 얼마나 차이가 나는지를 측정한다. B가 존재하면 A는 비모호 자동기로 변환 가능하고, 반대로 B가 존재하지 않으면 무한히 큰 gap이 발생해 모순이 된다. 따라서 비모호성은 결정 가능함이 증명된다.

두 번째 질문은 비용 레지스터 자동기(CRA)의 레지스터 수 최소화(counter minimisation) 문제이다. CRA는 결정적 제어 흐름에 최소‑덧셈 연산을 수행하는 레지스터들을 갖는다. 기존 연구에 따르면 CRA와 WFA는 같은 표현력을 가지며, 레지스터 수는 WFA의 “폭(width)”, 즉 비결정적 실행이 동시에 도달할 수 있는 상태 수와 일대일 대응한다. 저자들은 이 대응 관계를 정식화하여, k‑레지스터 CRA가 k‑폭 WFA와 동등함을 보인다. 이후 폭 최소화 문제를 WFA 차원에서 다루며, 이를 튜링 기계의 halting 문제와 귀환해 폭 최소화가 결정 불가능함을 증명한다. 특히, 레지스터 수를 7개로 고정해도 여전히 불가능함을 보임으로써, CRA의 레지스터 최소화가 일반적인 경우보다 훨씬 어려운 문제임을 강조한다.

기술적 기여는 다음과 같다. (1) 비모호성 문제를 “gap boundedness”라는 새로운 정량적 조건으로 재구성하고, 이를 결정 가능성 알고리즘에 매핑함으로써 문제를 해결하였다. (2) CRA와 WFA 사이의 폭‑레지스터 대응을 명확히 정의하고, 폭 최소화가 결정 불가능함을 증명함으로써 CRA 레지스터 최소화의 불가능성을 도출했다. (3) 기존의 비모호성·결정 가능성 연구와 달리, 비모호성 해결에 결정 가능성 결과를 역으로 활용하는 새로운 방법론을 제시했다. 이러한 결과는 열대 자동기 이론뿐 아니라 비용 모델링, 최적화, 형식 검증 등 실용적인 분야에서도 비결정적 구조를 정규화하거나 최소화하려는 시도에 중요한 이론적 한계를 제공한다.