[논문 리뷰] Algebraic Recognition of Regular Functions

Bojańczyk, Mikołaj, Nguyễn, Lê Thành Dũng (Tito)|arXiv (Cornell University)|2022. 09. 12.

Natural Language Processing Techniques인용 수 2

한 줄 요약

이 논문은 복사 없는 스트리밍 문자열 변환기(SST)의 병합을 재검토하며, 표준 병합 방식은 복사가 포함된 업데이트를 생성할 수 있지만, 그로 인한 행동은 '다이아몬드 자유(diamond-free)'임을 보여준다. 이는 동일한 변수의 두 복사본이 결합되지 않는 경미한 복사 형태이다. 저자들은 어떤 다이아몬드 자유 SST라도 등가의 복사 없는 SST로 변환할 수 있는 변환 기법을 제안하여, 복사 없는 SST의 병합을 완전하고 직접적으로 수행할 수 있도록 하며, 선형 출력 증가성과 단순 이차 논리 변환기와의 논리적 동치성을 유지한다.

ABSTRACT

Streaming string transducers (SSTs) implement string-to-string transformations by reading each input word in a single left-to-right pass while maintaining fragments of potential outputs in a finite set of string variables. These variables get updated on transitions of the transducer, where they can be assigned new values described by concatenations of variables and output symbols. An SST is called copyless if every update is such that no variable occurs more than once amongst all of the assigned expressions. The transformations realized by copyless SSTs coincide with Courcelle's monadic second-order logic graph transducers (MSOTs) when restricted to string graphs. Copyless SSTs with nondeterminism are known to be equivalent to nondeterministic MSOTs as well. MSOTs, both deterministic and nondeterministic, are closed under composition. Given the equivalence of MSOTs and copyless SSTs, it is easy to see that copyless SSTs are also closed under composition. The original proof of this fact, however, was based on a direct construction to produce a composite copyless SST from two given copyless SSTs. A counterexample discovered by Joost Englefriet showed that this construction may produce copyful transducers. We revisit the original composition constructions for both deterministic and nondeterministic SSTs and show that, although they can introduce copyful updates, the resulting copyful behavior they exhibit is superficial. To characterize this mild copyful behavior, we define a subclass of copyful SSTs, called diamond-free SSTs, in which two copies of a common variable are never combined in any subsequent assignment. In order to recover a modified version of the original construction, we provide a method for producing an equivalent copyless SST from any diamond-free copyful SST.

연구 동기 및 목표

• 표준 병합 방식이 복사 없는 SST의 병합을 통해 복사가 포함된 변환기를 생성할 수 있음을 보여주는 반례를 해결하기 위해.
• 병합에 의해 유도되는 '경미한' 복사 행동을 특성화하여, 다이아몬드 자유 복사로 규명하기 위해.
• 모든 다이아몬드 자유 SST를 등가의 복사 없는 SST로 변환할 수 있는 구축 가능한 방법을 제공하기 위해.
• 원래의 잘못된 구성에 비해 복사 없는 SST가 병합에 대해 닫혀 있음을 회복하기 위한 이론적 보장을 위해.

제안 방법

• 동일한 변수의 두 복사본이 이후 할당에서 결합되지 않는 변환기를 다이아몬드 자유 SST로 정의한다.
• 변수 할당을 원자적이고 복사 없는 구성요소로 분해하는 분해 함수를 도입한다.
• 할당의 분해를 사용하여 변수 상태를 (상태, 활성 변수 집합) 쌍으로 추적하는 새로운 복사 없는 NSST를 구성한다.
• 각 분해된 할당을 시뮬레이션하면서 원래의 다이아몬드 자유 변환기의 의미를 유지하는 전이 규칙을 정의한다.
• 실행 분해와 평가 의미론을 사용하여 원래의 다이아몬드 자유 SST와 구성된 복사 없는 SST 간의 동치성을 증명한다.
• 두 복사 없는 SST의 병합 결과가 다이아몬드 자유 SST가 되며, 이는 복사 없는 형태로의 변환 가능성을 보장한다.

실험 결과

연구 질문

• RQ1 표준 병합 구성이 복사가 포함된 변환기를 생성함에도 불구하고, 복사 없는 SST의 병합을 복구할 수 있는가?
• RQ2 복사 없는 SST의 병합에서 어떤 종류의 복사 행동이 발생하며, 이를 특성화할 수 있는가?
• RQ3 모든 다이아몬드 자유 SST를 등가의 복사 없는 SST로 변환할 수 있는 일반적인 방법이 존재하는가?
• RQ4 복사 없는 SST의 병합은 여전히 복사 없는 변환기의 클래스에 속하는가? 만약 그렇지 않다면, 이를 보장할 수 있는가?

주요 결과

• 두 복사 없는 SST의 병합은 결과로 복사가 포함된 변환기일지라도 다이아몬드 자유 SST가 된다.
• 병합에 의해 유도된 복사 행동은 '표면적'이다—동일한 변수의 두 복사본이 이후 할당에서 결합되지 않는다.
• 다이아몬드 자유 SST는 변수 집합과의 상태 공간 곱을 사용한 변환 기법을 통해 등가의 복사 없는 SST로 변환할 수 있다.
• 결과로 얻는 복사 없는 SST는 n × 2^m개의 상태를 가지며, 여기서 n은 원래의 다이아몬드 자유 SST의 상태 수이고 m은 변수 수이다.
• 이 변환 과정은 원래 변환기의 의미를 유지하여, 원래 버전과 복사 없는 버전 간의 동치성을 보장한다.
• 전체 절차—병합 후 변환—는 복사 없는 SST의 병합을 완전하고 직접적으로 수행할 수 있도록 하며, 이론적 보장을 유지한다.