[논문 리뷰] Register Transducers Are Marble Transducers

Gaëtan Douéneau-Tabot, Emmanuel Filiot외 1명|arXiv (Cornell University)|2020. 01. 01.

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

한 줄 요약

이 논문은 레지스터 복사 기능을 허용하는 복사 가능한 스트리밍 문자열 변환기(SSTs)가 스택 규칙을 따르는 입력 상의 '마블'(marble)을 떨어뜨리고 관리할 수 있는 능력을 갖춘 양방향 변환기와 동치임을 입증한다. 주요 기여는 마블 수와 출력 크기의 다항식 성장률 사이에 정확한 대응 관계가 있음을 보여주며, k개의 마블을 사용하는 변환기가 정확히 O(n^{k+1})의 출력 크기를 갖는 함수를 표현할 수 있음을 보이고, 이 클래스에 속하는지 여부는 출력 크기의 문법적 분석을 통해 결정 가능하다는 것을 보여준다.

ABSTRACT

Deterministic two-way transducers define the class of regular functions from words to words. Alur and Cerný introduced an equivalent model of transducers with registers called copyless streaming string transducers. In this paper, we drop the "copyless" restriction on these machines and show that they are equivalent to two-way transducers enhanced with the ability to drop marks, named "marbles", on the input. We relate the maximal number of marbles used with the amount of register copies performed by the streaming string transducer. Finally, we show that the class membership problems associated with these models are decidable. Our results can be interpreted in terms of program optimization for simple recursive and iterative programs.

연구 동기 및 목표

• 복사 불가능한 SSTs와 두방향 변환기 사이의 알려진 동치성 관계를 더 표현력이 뛰어난 복사 가능한 SSTs의 경우로 확장하기 위해.
• 레지스터를 사용하지 않고도 입력 상의 마킹('마블')을 통해 레지스터 복사 기능을 시뮬레이션할 수 있는 새로운 변환기 모델인 마블 변환기를 도입하고 형식화하기 위해.
• 사용된 마블 수를 통해 복사 가능한 SSTs의 표현력을 특성화하여, 문법적 제약 조건과 의미적 출력 크기 성장 간의 연결 고리를 설정하기 위해.
• k개의 마블을 사용하는 변환기의 클래스 소속 문제의 결정 가능성을 입증하며, 출력 크기를 충분하고도 필수적인 기준으로 삼는다.

제안 방법

• 마블을 입력에 떨어뜨릴 수 있고, 새로운 마블은 기존 마블의 왼쪽에만 배치할 수 있어 스택 유사 규칙을 강제하는 두방향 변환기로서 마블 변환기를 도입한다.
• 복사 가능한 SSTs가 마블 변환기와 표현력에서 동치임을 증명하며, 마블 수가 레지스터 복사 깊이에 정확히 대응됨을 보인다.
• 최대 k개의 마블을 사용하는 제한된 마블 변환기인 k-마블 변환기를 정의하고, 이들이 O(n^{k+1}) 시간 내에 실행되며 출력 크기가 O(n^{k+1})임을 보인다.
• k-마블 변환기와 레지스터 복사가 k개의 계층적 수준에 제한된 k-레이어 SSTs 사이의 동치성을 확립한다.
• SST 내의 치환을 세 함수인 스켈레톤(skes), 시작점(begs), 후행점(fols)을 통해 기호적 표현으로 정의함으로써, 복사 없는 가상의 치환 조합을 가능하게 한다.
• 레지스터 유사 상태의 복사 없는 업데이트를 통해 치환을 조합하는 방식으로, 살아있는 결정적 분지 상태를 추적하고 죽은 서브트리를 제거하며, SST의 실행을 시뮬레이션하는 유한 상태 기계 S를 구현한다.

실험 결과

연구 질문

• RQ1 복사 가능한 스트리밍 문자열 변환기의 표현력을 레지스터 없이도 기술할 수 있는가?
• RQ2 마블 변환기에서 사용된 마블 수와 출력 크기의 다항식 성장률 사이에 정확한 대응 관계가 존재하는가?
• RQ3 k-마블 변환기의 소속 문제는 결정 가능하며, 이는 출력 크기의 문법적 분석으로 축소될 수 있는가?
• RQ4 k-레이어 SSTs에서의 레지스터 복사의 계층적 제약 조건은 k-마블 변환기의 스택 유사 행동과 어떻게 관련이 있는가?
• RQ5 이러한 함수 클래스에 대해 지수 시간 알고리즘을 다항 시간 등가로 최적화하는 것이 효과적으로 결정 가능한가?

주요 결과

• 복사 가능한 SSTs는 입력 상의 마블을 떨어뜨리고 관리할 수 있는 능력을 갖춘 두방향 변환기와 표현력에서 동치이다.
• 마블 변환기에서 사용된 마블 수는 정확히 출력 크기의 다항식 성장률에 대응한다: k-마블 변환기는 O(n^{k+1}) 크기의 출력을 생성한다.
• k-마블 변환기의 클래스 소속 문제는 결정 가능하며, 함수가 k-마블 변환기에 의해 계산 가능할 조건은 출력 크기가 O(n^{k+1})에 해당할 때이다.
• k-마블 변환기는 레지스터 복사가 k개의 계층적 수준에 제한된 k-레이어 SSTs와 동치이며, 두방향 변환기와 복사 불가능한 SSTs 사이의 기존 동치성 관계를 일반화한다.
• SSTs의 시뮬레이션을 위한 기호적 치환 조합(SST 내의 치환을 skes, begs, fols를 통해 표현)을 사용하는 유한 상태 기계 S의 구현은 복사 없는 가상의 치환 조합을 가능하게 하며, 정확성을 유지하고 효율적인 분석을 가능하게 한다.
• 이 모델은 지수 시간 알고리즘을 다항 시간 등가로 전환할 수 있는 경우, 재귀적 및 반복적 프로그램 최적화를 위한 이론적 기반을 제공하며, 최적화 문제의 결정 가능성을 보장한다.