[논문 리뷰] Look-Ahead Removal for Top-Down Tree Transducers

Joost Engelfriet, Sebastian Maneth외 1명|arXiv (Cornell University)|2013. 11. 11.

semigroups and automata theory참고 문헌 23인용 수 3

한 줄 요약

이 논문은 정규 look-ahead를 갖는 총합 결정적 top-down 트리 변환기의 경우 look-ahead 없이 동일하게 표현할 수 있는지를 판단하고, 가능할 경우 그러한 변환기를 구성하는 알고리즘을 제시한다. 이 방법은 look-ahead 상태의 변화에서 유도된 차이 트리와 튜플을 분석하는 데 기반하며, 초선형성 및 유계 소거 변환기의 경우 결정 가능성을 확보하고, 차이 bound가 알려져 있을 경우 더 넓은 범주에 대해서도 결정 가능성을 확보한다.

ABSTRACT

Top-down tree transducers are a convenient formalism for describing tree transformations. They can be equipped with regular look-ahead, which allows them to inspect a subtree before processing it. In certain cases, such a look-ahead can be avoided and the transformation can be realized by a transducer without look-ahead. Removing the look-ahead from a transducer, if possible, is technically highly challenging. For a restricted class of transducers with look-ahead, namely those that are total, deterministic, ultralinear, and bounded erasing, we present an algorithm that, for a given transducer from that class, (1) decides whether it is equivalent to a total deterministic transducer without look-ahead, and (2) constructs such a transducer if the answer is positive. For the whole class of total deterministic transducers with look-ahead we present a similar algorithm, which assumes that a so-called difference bound is known for the given transducer. The designer of a transducer can usually also determine a difference bound for it.

연구 동기 및 목표

• 정규 look-ahead를 갖는 총합 결정적 top-down 트리 변환기가 look-ahead 없이 동치로 표현될 수 있는지 여부를 판단하는 것.
• 등가성이 결정 가능할 경우 그러한 look-ahead 없는 변환기를 구성하는 알고리즘을 개발하는 것.
• look-ahead 제거 문제의 결정 가능성을 보장하는 조건(특히 초선형성 및 유계 소거 변환기)을 특정하는 것.
• 차이 트리와 튜플의 개념을 통해 look-ahead의 영향을 형식화하고, 변환기의 행동에 대한 구조적 분석을 가능하게 하는 것.
• 제한된 클래스(초선형, 유계 소거)에 대해서는 문제의 결정 가능성을 입증하고, 일반적인 총합 결정적 변환기의 경우 추가 지식(차이 bound)이 있을 때도 결정 가능성을 확립하는 것.

제안 방법

• 입력 트리가 하위 트리의 look-ahead 상태만 다를 경우 출력을 비교함으로써 look-ahead 상태에 따라 영향을 받는 출력 부분을 포괄하는 차이 트리의 개념을 도입한다.
• look-ahead 상태가 출력 트리에 미치는 영향을 구조적으로 표현하는 차이 튜플을 정의하며, 분석의 핵심을 형성한다.
• look-ahead 상태의 재표기와 동치성 및 최소성을 보장하는 look-ahead가 있는 변환기의 표준 최초 형태를 구성한다.
• 차이 bound를 사용하여 분석에서 관련 서브트리의 높이를 제한함으로써, 잠재적으로 무한한 차이 트리에 대한 유한 상태 추론을 가능하게 한다.
• 차이 튜플의 집합이 유한한지 여부와 look-ahead 없는 결정적 변환기가 원래 변환기의 행동을 시뮬레이션할 수 있는지 여부를 검사하는 알고리즘을 적용한다.
• 결정적 top-down 트리 변환기의 표준 최초 형태에 대한 기존 결과를 활용하여 문제를 차이 구조의 유한 상태 분석으로 환원한다.

실험 결과

연구 질문

• RQ1 정규 look-ahead를 갖는 총합 결정적 top-down 트리 변환기가 look-ahead 없는 결정적 top-down 트리 변환기와 동치일 수 있는지 여부가 결정 가능한가?
• RQ2 동치인 변환기가 존재할 경우, 그러한 look-ahead 없는 변환기를 효과적으로 구성할 수 있는가?
• RQ3 변환기의 어떤 구조적 성질(예: 초선형성, 유계 소거)이 look-ahead 제거 문제의 결정 가능성을 보장하는가?
• RQ4 look-ahead가 출력에 미치는 영향을 어떻게 형식적으로 측정하고 분석하여 결정 가능성을 확보할 수 있는가?
• RQ5 주어진 변환기에 대해 차이 튜플의 집합이 유한한가? 그리고 이러한 유한성은 알고리즘적으로 결정 가능한가?

주요 결과

• 초선형성과 유계 소거 성질을 갖는 총합 결정적 top-down 트리 변환기의 경우, look-ahead 제거 문제의 결정 가능성이 보장되며, 동치인 look-ahead 없는 변환기를 구성할 수 있다.
• 차이 bound가 알려져 있을 경우, 일반적인 총합 결정적 변환기의 클래스에 대해서도 문제의 결정 가능성이 유지된다.
• 알고리즘의 시간 복잡도는 입력 변환기 크기의 삼중 지수 함수 이내이며, 최소한 지수 함수 이상이 될 수 있다. 이는 등가의 look-ahead 없는 변환기 크기의 잠재적 증가로 인한 것이다.
• 기존 변환기 크기의 지수 함수 크기로 증가할 수 있는 look-ahead 없는 동치 변환기의 크기를 보여주는 예시의 집합이 존재한다.
• look-ahead의 영향을 측정하는 차이 튜플의 집합이 반드시 유한해야만 look-ahead 없는 변환기와의 등가성 가능성이 존재한다.
• 차이 튜플 집합의 유한성 여부가 결정 가능한지 여부는 여전히 열려 있는 문제이며, 이는 알고리즘을 더 단순화시키는 데 있어 주요 장애물이다.