k값 유리 관계의 분해
이 논문은 k값(transducer) 유리 관계를 k개의 무모호(불명확성 없는) 함수형 트랜스듀서로 분해하는 새로운 구조적 증명을 제시한다. 기존 Weber(1996)의 방법보다 상태 수가 한 번의 지수만큼 감소한 효율적인 구성법을 제안하며, 이를 통해 길이‑차수 제한이 있는 유리 관계까지 일반화한다. 핵심 아이디어는 계산들을 사전식 순서로 정렬하고, 두 단계의 커버링(covering) 구조를 이용해 입력‑k‑모호성을 확보한 뒤, 다중‑스키밍(…
저자: Jacques Sakarovitch (LTCI), Rodrigo De Souza (LTCI)
본 논문은 k‑값 유리 관계와 트랜스듀서의 구조적 특성을 탐구하고, 이를 k개의 무모호(불명확성 없는) 함수형 트랜스듀서로 분해하는 새로운 증명을 제시한다. 연구 배경으로는 1996년 Weber가 제시한 “k‑값 트랜스듀서는 k개의 함수형 트랜스듀서의 합으로 표현될 수 있다”는 정리가 있다. 그러나 Weber의 원래 증명은 복잡도가 매우 높고, 구성 과정이 직관적으로 이해하기 어려웠다. 특히, 그의 방법은 두 번의 이중 지수(2^{2^{O(n)}}) 규모의 상태 폭증을 초래한다.
저자들은 이러한 한계를 극복하기 위해 두 가지 핵심 아이디어를 도입한다. 첫 번째는 **계산의 사전식(lexicographic) 정렬**이다. 자동자 A의 전이 집합 E에 부분 순서를 정의하고, 이를 전이 시퀀스(계산) 전체에 확장한다. 같은 입력·출력 라벨을 가진 두 계산이 있을 때, 사전식 순서에 따라 ‘작은’ 계산을 우선시한다. 이 정렬은 이후 커버링 구조에서 중복을 체계적으로 제거하거나 구분하는 기준으로 활용된다.
두 번째 아이디어는 **두 단계의 커버링(covering) 구조**이다.
1. **Lag Separation Covering U_N**
- 입력‑출력 차이(lag)를 제한하는 정수 N을 파라미터로 사용한다.
- 원 트랜스듀서 T를 실시간(transducer) 형태로 변환한 뒤, 각 계산의 lag가 N 이하인 경우만을 선택해 새로운 트랜스듀서 V_N을 만든다.
- V_N은 T와 동등한 관계를 구현하면서, 그 기저 입력 자동자 A는 **입력‑k‑모호**(input‑k‑ambiguous) 특성을 갖는다. 즉, 같은 입력에 대해 최대 k개의 성공 경로만 존재한다.
2. **Multi‑Skimming Covering**
- 입력 자동자 A를 N‑자동자(전이와 상태에 자연수 가중치를 부여한 자동자)로 간주한다.
- 사전식 순서에 따라 계산들을 층별로 ‘스키밍’한다. 무한 커버링 B를 만든 뒤, 각 정수 k>0에 대해 유한한 N‑quotient B_k를 추출한다.
- B_k는 원 자동자 A와 동일한 행동을 유지하면서, 상태 수가 n·(k+1)^n 이하로 제한된다.
- B_k 내부에는 k개의 **무모호 부분자동자** B(i)_k (0≤i
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기