유한 상태 변환기의 편집 거리

유한 상태 변환기 간의 거리를 정의하고, 이를 통해 변환기의 동등성을 넘어서 비교할 수 있는 방법을 제공한다.