[논문 리뷰] Closure Properties of Synchronized Relations

Winter, Sarah|arXiv (Cornell University)|2018. 01. 01.

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

한 줄 요약

이 논문은 유한 문자열 위의 자동 관계에 대한 균일화 문제의 새로운 변종을 제안한다. 여기서는 균일화하는 순차적 변환기(transducer)가 지정된 일련의 동기화 조건을 따라야 한다. 동기화 언어를 특성화하고 문제를 재동기화된 정규 언어 위의 부분집합 균일화로 환원함으로써, 저자는 광범위한 동기화 제약 조건에 대해 결론의 결정 가능성을 입증한다. 이는 이전의 동기화 또는 임의의 순차적 변환기에서의 결과를 일반화한다.

ABSTRACT

A standard approach to define k-ary word relations over a finite alphabet A is through k-tape finite state automata that recognize regular languages L over {1, ..., k} x A, where (i,a) is interpreted as reading letter a from tape i. Accordingly, a word w in L denotes the tuple (u_1, ..., u_k) in (A^*)^k in which u_i is the projection of w onto i-labelled letters. While this formalism defines the well-studied class of rational relations, enforcing restrictions on the reading regime from the tapes, which we call synchronization, yields various sub-classes of relations. Such synchronization restrictions are imposed through regular properties on the projection of the language L onto {1, ..., k}. In this way, for each regular language C subseteq {1, ..., k}^*, one obtains a class Rel({C}) of relations. Synchronous, Recognizable, and Length-preserving rational relations are all examples of classes that can be defined in this way. We study basic properties of these classes of relations, in terms of closure under intersection, complement, concatenation, Kleene star and projection. We characterize the classes with each closure property. For the binary case (k=2) this yields effective procedures.

연구 동기 및 목표

• 순차적 변환기의 동기화 제약 조건을 도입함으로써 균일화 문제의 격차를 메운다.
• 동기화 또는 임의의 순차적 변환기를 사용한 균일화에 대한 기존의 결정 가능 결과를 일반화한다.
• 허용된 입력/출력 행동이 정규 동기화 언어로 제약을 받을 경우, 균일화 문제가 여전히 결정 가능함을 증명한다.
• 동기화 제약 조건이 있는 균일화 문제를 재동기화된 정규 언어 위의 부분집합 균일화로 환원한다.
• 자동 관계의 맥락에서 동기화 언어를 통해 변환기 행동을 공식적으로 기술하고 검증할 수 있는 프레임워크를 제공한다.

제안 방법

• 입력 및 출력 문자열 쌍을 인덱스(1은 입력, 2는 출력)로 표시한 동기화된 문자열로 표현하여 동기화 언어를 구성한다.
• {1,2}* 위의 정규 언어를 사용해 동기화 제약 조건을 정의함으로써 허용되는 지연과 출력 행동을 모델링한다.
• 유한 상태 제어와 유한한 지연 추적을 사용하여 원래의 관계를 동기화 제약 조건 하에서 시뮬레이션하는 재동기화된 온톨로지(automaton)를 구성한다.
• T-제어된 균일화 문제를 허용된 동기화 행동을 캡처하는 Tk(S)로 유도된 정규 언어 위의 부분집합 균일화로 환원한다.
• 기존의 정규 언어의 부분집합 균일화에 대한 결정 가능 결과를 활용하여 주 문제의 결정 가능성을 도출한다.
• 상태 전이 트리와 지연 기반 분석을 사용하여 구성된 변환기가 동기화 제약 조건을 준수하고 결정론적임을 검증한다.

실험 결과

연구 질문

• RQ1 지정된 입력/출력 동기화 집합을 따라야 하는 경우, 자동 관계의 균일화 문제를 확장할 수 있는가?
• RQ2 주어진 자동 관계가 정규 동기화 언어로 제약을 받는 순차적 변환기를 통해 균일화될 수 있는지 여부는 결정 가능한가?
• RQ3 어떻게 동기화 제약 조건을 공식적으로 표현하고 균일화하는 변환기 합성에 통합할 수 있는가?
• RQ4 T-제어된 균일화와 재동기화된 언어 위의 부분집합 균일화 사이의 관계는 무엇인가?
• RQ5 유한 이동 지연 성질을 캡처하는 동기화 언어로 변환기 행동을 제약할 경우, 균일화의 결정 가능성이 유지되는가?

주요 결과

• 정규 동기화 언어로 제약된 순차적 변환기를 사용한 자동 관계의 균일화 문제는 결정 가능하다.
• 이 결정 가능 결과는 이전의 동기화 또는 임의의 순차적 변환기를 사용한 균일화 결과를 일반화한다.
• 균일화 문제는 효과적으로 구성 가능한 재동기화된 정규 언어 Tk(S) 위의 부분집합 균일화로 환원된다.
• 구성된 변환기는 입력 지연과 출력 길이를 유한한 범위 내에서 추적함으로써 동기화 제약 조건을 준수함을 보장한다.
• 증명은 입력 문자열을 (12)*-제어된 형태로 재동기화하고, 유한 상태 시뮬레이션을 사용하여 원래의 관계와의 일관성을 검증함에 기반한다.
• 핵심 통찰은 임의의 T-제어된 균일화자가 적절한 k에 대해 Tk-제어된 균일화자로 변환될 수 있으며, 이는 결정 가능한 부분집합 균일화 문제로의 환원을 가능하게 한다.