[논문 리뷰] Wheeler Languages

Jarno Alanko, Giovanna D’Agostino외 2명|arXiv (Cornell University)|2020. 02. 24.

Algorithms and Data Compression인용 수 6

한 줄 요약

이 논문은 전이 그래프가 웨일러 그래프인 유한 오토마타에 의해 인식되는 정규 언어인 웨일러 언어를 도입한다. 웨일러 그래프는 버러스-웨일러 변환(Burrows-Wheeler Transform)에 영감을 받은 구조이다. 이 논문은 마이힐-너로 특성, 소속성 및 동치성의 결정 가능성, 그리고 표준 언어 연산에 대한 닫힘성과 같은 기초적 성질을 확립하며, BWT 기반 데이터 구조의 적용 범위를 문자열을 초월한 형식 언어로 확장한다.

ABSTRACT

The recently introduced class of Wheeler graphs, inspired by the Burrows-Wheeler Transform (BWT) of a given string, admits an efficient index data structure for searching for subpaths with a given path label, and lifts the applicability of the Burrows-Wheeler transform from strings to languages. In this paper we study the regular languages accepted by automata having a Wheeler graph as transition function, and prove results on determination, Myhill_Nerode characterization, decidability, and closure properties for this class of languages.

연구 동기 및 목표

• 전이 그래프가 웨일러 그래프인 오토마타에 의해 수용되는 새로운 정규 언어의 클래스를 정의하고 특성화하기.
• 웨일러 구조를 가진 오토마타를 통해 버러스-웨일러 변환의 적용 범위를 문자열에서 형식 언어로 확장하기.
• 이 언어 클래스에 대한 닫힘성, 결정 가능성, 그리고 구조적 특성(예: 마이힐-너로 특성)을 조사하기.
• 언어 수준의 데이터 구조에서 하위경로를 효율적으로 색인하고 검색하기 위한 이론적 기초를 마련하기.

제안 방법

• 웨일러 그래프를 유도 그래프에 대해 특정 사전순 순서를 갖는 간선에 적용한 일반화로 정의한다.
• 웨일러 그래프에 기반한 전이 함수를 갖는 유한 오토마타를 구성하여 새로운 정규 언어의 클래스를 인식한다.
• 웨일러 그래프의 간선에 대한 사전순 순서를 활용하여, BWT 기반 문자열 검색과 유사하게 효율적인 하위경로 검색 및 색인을 가능하게 한다.
• 마이힐-너로 이론을 적용하여 웨일러 오토마타의 상태의 동치류를 특성화한다.
• 웨일러 그래프의 구조적 제약 조건을 이용하여 웨일러 언어의 언어 동치성과 소속성의 결정 가능성을 증명한다.
• 오토마타 구성과 그래프 구조를 활용하여 합집합, 교집합, 보집합, 클리니 스타 연산에 대한 닫힘성을 분석한다.

실험 결과

연구 질문

• RQ1 전이 그래프가 웨일러 그래프인 오토마타에 의해 인식될 수 있는 정규 언어는 무엇인가?
• RQ2 웨일러 그래프의 구조적 제약 조건은 이러한 오토마타의 마이힐-너로 동치류에 어떤 영향을 미치는가?
• RQ3 웨일러 오토마타에 의해 수용되는 언어의 동치성은 결정 가능한가?
• RQ4 웨일러 언어는 합집합, 교집합, 보집합과 같은 표준 언어 연산에 대해 닫혀 있는가?
• RQ5 효율적인 하위경로 색인은 문자열에서 웨일러 그래프 구조를 사용한 언어 수준의 일반화가 가능한가?

주요 결과

• 웨일러 언어는 정규 언어의 진부분집합이며, 웨일러 구조를 가진 오토마타가 존재하는 것으로 특성화된다.
• 웨일러 언어의 마이힐-너로 동치관계는 웨일러 그래프의 사전순 간선 순서와 호환되며, 이를 통해 더욱 정교한 특성화가 가능하다.
• 웨일러 오토마타의 유한성과 구조적 특성 덕분에 웨일러 언어의 동치성과 소속성이 결정 가능하다.
• 웨일러 언어는 합집합, 교집합, 보집합, 클리니 스타 연산에 대해 닫혀 있으며, 표준 언어 연산에 대해 클래스가 유지된다.
• 웨일러 그래프의 구조는 오토마타 내에서 효율적인 하위경로 검색을 가능하게 하며, BWT 기반 문자열 색인을 언어 수준의 데이터 구조로 일반화한다.