양방향 중첩 가중 자동자

초록

본 논문은 기존의 전방 전용 중첩 가중 자동자(NWA)를 확장하여, 슬레이브 자동자가 입력 단어를 앞·뒤 양방향으로 탐색할 수 있는 양방향 NWA를 제안한다. 양방향 NWA는 전방 전용 NWA로는 표현할 수 없는 평균 에너지 수준, 데이터 일관성 등 실용적인 정량적 특성을 기술할 수 있다. 또한, 공리적 결정 문제인 공허성(emptiness)과 보편성(universality)의 decidability와 복잡도 분석을 수행했으며, 결과는 전방 전용 NWA와 동일한 복잡도 구간(NLogSpace‑complete부터 ExpSpace‑complete까지)임을 보였다. 즉, 표현력 증대가 계산 복잡도 상승을 동반하지 않으며, 이는 무가중 자동자에서의 양방향 확장과는 대조적이다.

상세 분석

양방향 중첩 가중 자동자(bidirectional NWA)는 마스터 자동자와 여러 슬레이브 자동자로 구성된다. 기존 NWA에서는 슬레이브가 현재 마스터 위치에서 앞으로만 유한 구간을 탐색했지만, 본 연구는 슬레이브가 뒤로도 이동하도록 허용한다. 이 확장은 두 가지 중요한 기술적 효과를 만든다. 첫째, 슬레이브가 뒤쪽을 탐색함으로써 “이전 요청에 대한 응답 시간”이나 “이전 커밋까지의 읽기 신선도”와 같이 과거 정보를 기반으로 하는 정량적 측정을 자연스럽게 표현할 수 있다. 논문은 평균 에너지 수준(Average Energy Level)과 데이터 일관성(DCP) 두 사례를 들어, 전방 전용 슬레이브만으로는 정의할 수 없는 특성을 양방향 슬레이브 조합으로 구현함을 증명한다. 둘째, 양방향 슬레이브를 허용함에도 불구하고, 마스터가 사용하는 값 함수가 limit‑average(LimAvg)이고 슬레이브가 사용하는 값 함수가 min, max, sum 등 전통적인 유한‑단어 함수인 경우, 공허성 및 보편성 문제의 decidability와 복잡도는 기존 전방 전용 NWA와 동일하게 유지된다. 이는 복잡도 증폭 없이 표현력을 확장할 수 있다는 강력한 결과이다.

복잡도 분석에서는 슬레이브 자동자의 실행을 마스터 전이의 가중치로 치환하는 “가중치 전이 변환” 기법을 사용한다. 양방향 슬레이브는 역방향으로 실행되지만, 입력 단어를 뒤집어 정방향 자동자로 변환함으로써 기존 전방 전용 NWA의 결정 절차를 그대로 적용할 수 있다. 따라서, 공허성 검사는 비결정적 공간(NLogSpace)에서부터 지수적 공간(ExpSpace)까지의 복잡도 구간에 머무른다. 보편성 검증도 동일한 복잡도 경계를 가진다.

흥미로운 점은 무가중 자동자와의 대비이다. 무가중 경우, 양방향 자동자는 표현력에 변화를 주지 않으며, 대신 지수적 간결성 향상과 복잡도 상승을 초래한다. 반면, 가중 자동자에서는 양방향이 새로운 정량적 특성을 도입하면서도 복잡도 비용을 발생시키지 않는다. 이는 가중치와 값 함수가 제공하는 풍부한 구조가 양방향 탐색을 효율적으로 흡수할 수 있음을 시사한다.

또한, 논문은 “전방‑전용 NWA와 후방‑전용 NWA는 서로 incomparable”임을 보이고, 양방향 NWA가 두 클래스를 엄격히 포함함을 증명한다. 이는 모델링 관점에서 양방향 슬레이브가 두 방향의 정보를 동시에 활용할 수 있는 강력한 프레임워크임을 의미한다.

마지막으로, 관련 연구와 비교하여 본 논문은 기존의 중첩 가중 자동자, 모니터 카운터 자동자, 그리고 다양한 정량적 논리 체계와의 연관성을 정리한다. 특히, 슬레이브가 양방향으로 동작하는 경우에도 기존의 결정 절차를 재사용할 수 있다는 점은 구현 측면에서도 큰 장점을 제공한다.