[논문 리뷰] Regular Combinators for String Transformations

Rajeev Alur, Adam Freilich외 1명|arXiv (Cornell University)|2014. 02. 13.

semigroups and automata theory참고 문헌 7인용 수 6

한 줄 요약

이 논문은 두 방향 유한 상태 전이기나 MSO로 정의 가능한 그래프 전이로 계산 가능한 모든 함수를 포괄하는 최소한의 조합자 집합—선택, 분할 합, 반복 합, 왼쪽가환 분할 합, 함수의 합, 체인 합—을 사용하여 기계에 종속되지 않고 대수적으로 정규 문자열 변환을 특성화한다. 주요 기여는 비가환 모노이드를 포함한 임의의 모노이드에 대해 정규 함수의 완전하고 최소한의 조합적 기초를 제공함으로써, 뒤집기나 복사와 같은 복잡한 문자열 변환의 선언적 기술을 가능하게 한다.

ABSTRACT

We focus on (partial) functions that map input strings to a monoid such as the set of integers with addition and the set of output strings with concatenation. The notion of regularity for such functions has been defined using two-way finite-state transducers, (one-way) cost register automata, and MSO-definable graph transformations. In this paper, we give an algebraic and machine-independent characterization of this class analogous to the definition of regular languages by regular expressions. When the monoid is commutative, we prove that every regular function can be constructed from constant functions using the combinators of choice, split sum, and iterated sum, that are analogs of union, concatenation, and Kleene-*, respectively, but enforce unique (or unambiguous) parsing. Our main result is for the general case of non-commutative monoids, which is of particular interest for capturing regular string-to-string transformations for document processing. We prove that the following additional combinators suffice for constructing all regular functions: (1) the left-additive versions of split sum and iterated sum, which allow transformations such as string reversal; (2) sum of functions, which allows transformations such as copying of strings; and (3) function composition, or alternatively, a new concept of chained sum, which allows output values from adjacent blocks to mix.

연구 동기 및 목표

• 정규 언어에 대한 정규 표현식과 유사한 기계에 종속되지 않은 대수적 특성화를 제공한다.
• 모노이드, 비가환 모노이드를 포함한 모든 모노이드로의 문자열에서 값으로의 정규 함수를 구성할 수 있는 최소한의 조합자 집합을 규명한다.
• 기존의 한 방향 전이기로 표현할 수 없는 자연스러운 문자열 변환, 예를 들어 뒤집기나 복사와 같은 변환을 포괄하기 위해 정규 함수 이론을 비가환 모노이드로 확장한다.
• 문서 처리, 프로그램 검증, 문자열 변환 학습 등 실용적 응용을 지원하는 기반을 제공하는 방식으로 정규 함수의 표현력을 공식화한다.
• 비모호한 파싱을 유지하면서도 비연속적인 입력 세그먼트 간의 복잡한 데이터 흐름을 허용하기 위해 체인 합 조합자를 도입하고 그 필수성을 정당화한다.

제안 방법

• 기본 언어의 문자열에서 모노이드 값으로의 상수 매핑을 기본 함수로 정의하여 비모호한 파싱을 보장한다.
• 핵심 조합자로 조건부 선택(f ▹ g), 분할 합(f ⊕ g), 반복 합(∑f)을 도입하며, 이는 각각 합집합, 연결, Kleene-*의 일반화이며 고유한 파싱 제약 조건을 가진다.
• 문자열 뒤집기와 같이 양쪽 끝에서 처리가 필요한 변환을 지원하기 위해 분할 합과 반복 합의 왼쪽가환 버전을 도입한다.
• 문자열 세그먼트의 복제와 중복을 가능하게 하기 위해 함수의 합 조합자를 도입한다.
• 연속된 처리 블록 간의 출력 값이 혼합될 수 있도록 허용하는 체인 합 조합자(또는 함수의 합성)를 도입하여 비연속적인 입력 세그먼트 간의 복잡한 데이터 흐름을 가능하게 한다.
• 모든 정규 함수—특히 양방향 또는 비결정적 행동이 필요한 함수—가 이러한 조합자를 사용해 구성될 수 있음을 보여주는 표현력 완전성의 증명을 수행하며, 형상 기반 분해와 레지스터 상태 추적을 통한 공식적 증명을 제시한다.

실험 결과

연구 질문

• RQ1 비가환 모노이드 출력을 포함한 정규 문자열 변환은 최소한의 대수적이고 기계에 종속되지 않는 조합자 집합으로 특성화될 수 있는가?
• RQ2 일방향 전이기로 표현할 수 없는 변환, 예를 들어 문자열 뒤집기나 복사와 같은 변환을 표현하기 위해 추가로 필요한 조합자는 무엇인가?
• RQ3 다중 입력 세그먼트와 출력 블록 간의 복잡한 데이터 흐름을 허용하면서도 비모호한 파싱의 개념을 유지할 수 있는가?
• RQ4 체인 합을 포함한 조합자 집합은 임의의 모노이드에 대해 모든 정규 함수를 포괄하기 위해 필수적이고 충분한가?
• RQ5 이 기반을 바탕으로 문서 처리를 위한 선언적 언어를 구축할 수 있으며, 이를 통해 정확한 방법으로 문자열 변환을 수행할 수 있는가?

주요 결과

• 모노이드로의 문자열에서의 정규 함수 클래스는 선택, 분할 합, 반복 합, 왼쪽가환 분할 합, 함수의 합, 체인 합의 유한한 조합자 집합으로 완전히 특성화된다.
• 가환 모노이드의 경우, 선택, 분할 합, 반복 합만으로도 모든 정규 함수를 구성할 수 있으며, 이는 비모호한 파싱과 합성에 대한 닫힘을 보장한다.
• 비가환 모노이드의 경우, 왼쪽가환 분할 합, 함수의 합, 체인 합 조합자가 필요하고 충분하여 모든 정규 문자열 변환, 뒤집기와 복사까지 모두 표현할 수 있다.
• 체인 합 조합자는 인접한 블록 간의 출력 혼합을 가능하게 하며, 이는 표준 합성이나 연결으로는 지원되지 않는 능력이다.
• 표현력 완전성의 증명은 전이기 행동의 형상 기반 분해에 기반하며, 레지스터 상태와 입력 세그먼트 간의 상호작용을 공식적 업데이트 표현식을 통해 추적한다.
• 이 프레임워크는 문서 처리를 위한 선언적 언어의 기초를 제공하며, 문자열 변환 학습, 웹 주소 정제, 프로그램 검증 등 잠재적인 응용 분야를 포함한다.