정규 표현식의 행동 거리에 대한 완전한 정량적 공리화

정규 표현식의 언어 간 최단 구분 단어 거리에 대한 완전한 공리 체계를 제공한다.