[논문 리뷰] Comparison-free polyregular functions

Lê Thành Dũng Nguyễn, Camille Noûs외 1명|arXiv (Cornell University)|2021. 05. 18.

semigroups and automata theory인용 수 1

한 줄 요약

이 논문은 펜듈 트랜스듀서에서 머리 위치 간 비교를 제외한 폴리레귤러 함수의 엄격한 부분집합인 비교 자유 폴리레귤러 함수(cfp)를 도입한다. 이 클래스는 제한된 펜듈 트랜스듀서, 치환과 제곱에 대한 귀납적 닫힘으로 특징지어지며, 합성에 대해 닫혀 있음을 보이며, '맵' 연산자에 대해서는 닫혀 있지 않다. 핵심 결과로는, 형태사 기반 분석과 1-스플릿 분해를 통해 증명된 비교 자유 버전의 펜듈 최소화 정리가 존재한다.

ABSTRACT

This paper introduces a new automata-theoretic class of string-to-string functions with polynomial growth. Several equivalent definitions are provided: a machine model which is a restricted variant of pebble transducers, and a few inductive definitions that close the class of regular functions under certain operations. Our motivation for studying this class comes from another characterization, which we merely mention here but prove elsewhere, based on a $\lambda$-calculus with a linear type system.As their name suggests, these comparison-free polyregular functions form a subclass of polyregular functions; we prove that the inclusion is strict. We also show that they are incomparable with HDT0L transductions, closed under usual function composition -- but not under a certain ``map'' combinator -- and satisfy a comparison-free version of the pebble minimization theorem.On the broader topic of polynomial growth transductions, we also consider the recently introduced layered streaming string transducers (SSTs), or equivalently k-marble transducers. We prove that a function can be obtained by composing such transducers together if and only if it is polyregular, and that k-layered SSTs (or k-marble transducers) are closed under ``map'' and equivalent to a corresponding notion of (k+1)-layered HDT0L systems.

연구 동기 및 목표

• 펜듈 헤드 위치 간 비교를 금지하는 펜듈 트랜스듀서에서 비교가 없는 폴리레귤러 함수의 새로운 부분집합을 정의하고 특징짓는 것.
• 이 클래스에 대해 기계적, 논리적, 귀납적 정의가 동치임을 확립하는 것.
• 함수 합성에 대한 닫힘과 비교 자유 버전의 펜듈 최소화 정리 증명.
• HDT0L 변환과의 상호비교성 불가 및 '맵' 연산자에 대한 닫힘 불가를 보여주는 것.
• 층상 SST, k-마블 트랜스듀서, 폴리레귤러 함수 간의 관계를 명확히 하는 것.

제안 방법

• 펜듈 헤드 위치 간 비교를 금지하는 펜듈 트랜스듀서의 제한된 변종을 통해 클래스를 정의하는 것.
• 두 가지 귀납적 특징: 정규 함수의 치환에 대한 닫힘과 제한된 제곱 연산의 조합.
• 유한 모노이드 위에서 형태사 기반 분석을 사용해 구조화된 입력에 대한 함수 행동을 분석하는 것.
• 이전 연구에서 유래한 1-스플릿 보조정리를 적용하여 입력 문자열을 분해하고 출력 길이 증가를 분석하는 것.
• 출력 길이 기여도를 추적하기 위해 보조 함수(예: ρJ,k, ef′)를 구성하는 것.
• 반증을 통한 '맵'에 대한 비닫힘 증명: map(an ↦ an×n)이 cfp일 것이라 가정하면 부분 문자열의 길이가 유계가 아니게 증가하여, 출력 길이의 이차 성장과 모순된다.

실험 결과

연구 질문

• RQ1 펜듈 헤드 위치 간 비교를 금지하는 트랜스듀서에서 폴리레귤러 함수의 엄격한 부분집합을 정의할 수 있는가?
• RQ2 비교가 없는 폴리레귤러 함수 클래스는 전체 폴리레귤러 함수 클래스보다 엄격히 작다?
• RQ3 비교를 제외함에도 불구하고 함수 합성에 대해 닫혀 있는가?
• RQ4 이 클래스에 대해 비교 자유 버전의 펜듈 최소화 정리를 증명할 수 있는가?
• RQ5 '맵' 연산자가 비교 자유 폴리레귤러 함수에 대해 닫혀 있는가?

주요 결과

• 비교 자유 폴리레귤러 함수 클래스는 map(an ↦ an×n) 함수의 비소속성으로 인해 폴리레귤러 함수의 엄격한 부분집합임이 입증된다.
• 귀납적 정의와 트랜스듀서 합성에 기반해 함수 합성에 대해 닫혀 있음이 확인된다.
• map(an ↦ an×n) 함수의 길이 증가 분석에서의 모순을 통해 '맵' 연산자에 대해 닫혀 있지 않음이 입증된다.
• 비교 자유 펜듈 최소화 정리가 성립한다: 순위 1의 cfp 함수는 단일 펜듈과 정규 성분으로 표현 가능하다.
• 정규 함수의 특정 '치환에 의한 합성' 연산에 대한 닫힘과 동치이며, 이는 논리적 특징짓기의 가능성을 제공한다.
• map(an ↦ an×n) 함수는 비교 자유 폴리레귤러 함수로 표현될 수 없으며, 가정된 분해 하에 부분 문자열 길이가 무한히 증가하기 때문이다.