정규 함수와 비용 레지스터 자동화: 일반화된 최소 비용 문제

초록

이 논문은 문자열을 수치값으로 매핑하는 정규 함수의 개념을 정의하고, 비용 레지스터 자동화(CRA)를 통해 이러한 함수를 결정적으로 구현한다. 다양한 연산(덧셈, 최소, 스케일링 등)을 파라미터화한 비용 모델을 제시하고, 기존 가중 자동화와의 관계, 복사 제한(copy‑less) 조건, 그리고 최소 비용 문제에 대한 알고리즘적 해결책을 제시한다.

상세 분석

본 연구는 정규 언어 이론을 정량적 시스템 분석에 확장하고자 하는 동기에 출발한다. 기존의 가중 자동화(weighted automata)는 비결정적이며, 두 연산(합과 최소)만을 지원하는 반면, 실제 시스템에서는 비용 증감, 할인, 조건부 보상 등 복합 연산이 필요하다. 이를 해결하기 위해 저자들은 “비용 레지스터 자동화(CRA)”라는 결정적 모델을 도입한다. CRA는 유한 상태 제어와 유한 개수의 쓰기 전용 레지스터를 갖으며, 각 전이에서 레지스터를 비용 연산식에 따라 병렬적으로 업데이트한다. 중요한 점은 레지스터 값을 테스트하지 않으며, 오직 연산식에만 의존한다는 점이다. 이는 전통적인 레지스터 머신이나 데이터 자동화와 구별되는 특징이다.

정규성의 정의는 문자열‑트리 변환기의 이론에 기반한다. 비용 문법 G=(F,T)에서 연산 기호와 상수 집합을 정의하고, T는 정규 언어로 제한된 항(term) 집합이다. 문자열을 입력으로 받아 G‑항을 생성하는 정규 함수 g와 의미 해석 J·K를 조합해 비용 함수 f(w)=J·K(g(w))를 만든다. 이렇게 정의된 함수는 “정규 비용 함수”라 부르며, CRA가 정확히 이 클래스를 결정적으로 구현한다는 것이 핵심 정리이다.

연산별로 세 가지 주요 비용 모델을 분석한다. 첫째, 단일 연산 ⊗(예: +)만을 허용하는 경우, CRA는 단순히 누적 합을 계산하며, 최소 비용 경로 알고리즘과 동일한 복잡도로 최적값을 구할 수 있다. 둘째, 반정규 구조(semiring) (⊕,⊗)를 지원하는 경우, 예를 들어 (min,+) 조합에서는 CRA가 가중 자동화와 동등함을 보이며, 복사 제한(copy‑less) 조건 하에 결정적 서브셋을 형성한다. 셋째, 할인 연산(스케일링 ∗d)과 덧셈을 결합한 모델에서는 전통적인 할인 최단 경로 알고리즘을 확장해 적용 가능함을 증명한다. 특히, 레지스터에 선형 함수(c+ n·d) 형태를 저장함으로써 “지연 평가”와 같은 복합 비용을 표현한다.

복사 제한은 트리 변환기 이론에서 선형 성장 보장을 위해 도입된 제약이다. CRA가 복사 제한을 만족하면 레지스터에 저장되는 항의 크기가 입력 길이에 선형으로 제한되어, 결정적 실행 시간과 메모리 사용량을 보장한다. 저자들은 복사 제한이 없는 일반 CRA가 가중 자동화와 동등하지만, 등가성 문제는 트로픽 세미링(자연수, min, +)에서 미해결(undecidable)임을 지적한다. 반면, 복사 제한을 적용한 정규 함수 클래스는 등가성 검사가 아직 열려 있는 흥미로운 연구 영역이다.

마지막으로, 저자들은 CRA가 기존 가중 자동화의 비결정성을 극복하고, 다중 연산을 지원하면서도 결정적이고 분석 가능한 모델을 제공한다는 점을 강조한다. 이는 정량적 모델 검증, 전력 소비 분석, 할인 정책 설계 등 다양한 응용 분야에 직접적인 영향을 미칠 것으로 기대된다.