[논문 리뷰] Edit Distance of Finite State Transducers

C. Aiswarya, Amaldev Manuel외 1명|arXiv (Cornell University)|2024. 01. 01.

DNA and Biological Computing인용 수 1

한 줄 요약

이 논문은 기능적 등가성 이상의 수준에서 유한 상태 전이기를 비교하기 위해 편집 거리 기반 프레임워크를 제안한다. 이는 모든 입력에 대해 전이의 출력 간 편집 거리의 상한으로 전이 간 편집 거리를 정의함으로써 이루어진다. 흔한 정수 값 편집 거리—예를 들어 해밍, 전치, 공액, 레벤슈타인 가족—에 대해 기능적 전이기의 가까움 및 k-가까움 문제는 결정 가능하며, 거리 계산도 가능하며, 문제는 co-NP ∩ NP에 속한다.

ABSTRACT

We lift metrics over words to metrics over word-to-word transductions, by defining the distance between two transductions as the supremum of the distances of their respective outputs over all inputs. This allows to compare transducers beyond equivalence. Two transducers are close (resp. $k$-close) with respect to a metric if their distance is finite (resp. at most $k$). Over integer-valued metrics computing the distance between transducers is equivalent to deciding the closeness and $k$-closeness problems. For common integer-valued edit distances such as, Hamming, transposition, conjugacy and Levenshtein family of distances, we show that the closeness and the $k$-closeness problems are decidable for functional transducers. Hence, the distance with respect to these metrics is also computable. Finally, we relate the notion of distance between functions to the notions of diameter of a relation and index of a relation in another. We show that computing edit distance between functional transducers is equivalent to computing diameter of a rational relation and both are a specific instance of the index problem of rational relations.

연구 동기 및 목표

• 기능적 등가성 이상의 수준에서 전이기의 출력 간 편집 거리를 기반으로 전이기를 비교하기 위한 공식적 프레임워크를 개발하는 것.
• 다양한 정수 값 편집 거리 척도 하에서 기능적 전이기에 대한 가까움 및 k-가까움 문제의 결정 가능성을 조사하는 것.
• 유리 관계의 직경과 다른 관계의 합성 폐쇄 내에서의 한 관계의 지수와 같은 더 넓은 오토마타 이론적 개념과 전이기 거리 간의 관계를 규명하는 것.
• 거리 계산 문제의 계산 복잡도 한계를 설정하여, 주요 편집 거리 척도 하에서 문제가 co-NP ∩ NP에 속함을 보여주는 것.

제안 방법

• 모든 공통 입력에 대해 출력 단어 간 편집 거리의 상한으로 두 전이의 거리를 정의한다.
• 전이기 거리 계산 문제를 정수 값 편집 척도 하에서의 가까움 및 k-가까움 문제로 환원한다.
• 전이기 오토마타의 강한 연결 성분에서 다항식 크기의 비순환 오토마타를 구성하여 출력 변환을 시뮬레이션한다.
• 경로 탐색 중에 편집 연산(예: 치환 또는 인접 전치)을 추적하기 위해 각 SCC마다 정방향 및 역방향 가드를 구성한다.
• 위상 정렬과 상태 병합을 활용하여 비순환성을 확보하고 경로 분석의 범위를 제한한다.
• 반복적인 k-가까움 검사들을 통해 거리 계산 문제를 NP 및 co-NP 내의 유계 문제로 환원한다.

실험 결과

연구 질문

• RQ1 해밍, 전치, 공액, 레벤슈타인와 같은 일반적인 편집 거리 척도 하에서 두 기능적 유한 상태 전이기 간의 거리가 계산 가능한가?
• RQ2 이러한 편집 척도 하에서 전이기의 가까움 및 k-가까움 문제를 결정할 수 있는가?
• RQ3 이러한 척도 하에서 전이기 간 편집 거리 계산 문제가 co-NP ∩ NP에 속하는가?
• RQ4 전이기 간 거리는 유리 관계의 직경과 다른 관계의 합성 폐쇄 내에서 한 관계의 지수와 어떻게 관련이 있는가?
• RQ5 이 프레임워크는 양방향 또는 다항정규 전이기, 또는 무한어에 대해 확장 가능한가?

주요 결과

• 해밍, 전치, 공액, 레벤슈타인 가족 편집 척도 하에서 기능적 전이기에 대해 가까움 및 k-가까움 문제는 결정 가능하다.
• 전이기 간 편집 거리 계산은 정수 값 척도 하에서의 가까움 및 k-가까움 문제 결정과 동치이다.
• 해밍 및 전치 거리 척도 하에서 거리 계산 문제는 co-NP ∩ NP에 속하며, 유계 분석을 위한 다항식 시간 내에 비순환 오토마타를 구성할 수 있다.
• 유리 관계의 직경은 계산 가능하며, 니바트의 정리에 따라 두 전이의 거리와 동치이다.
• 문제는 전이기 상태 그래프의 강한 연결 성분에서 유도된 비순환 오토마타의 경로에서의 유계 편집 연산을 검사하는 것으로 환원된다.
• 이 프레임워크는 유리 관계로 일반화되며, 전이기 거리는 유리 관계 내에서의 지수 문제와 직경 계산의 특수한 경우로 간주될 수 있음을 보여준다.