무모호 변환기에 의한 정상성 보존

초록

본 논문은 강하게 연결된 무모호(단일수용) 트랜스듀서를 대상으로, 입력이 Borel 정상 시퀀스일 때 출력 시퀀스의 모든 블록 빈도가 유리수 가중 자동기에 의해 결정된다는 것을 보인다. 또한 이러한 트랜스듀서가 정상성을 보존하는지를 다항식 시간(큐빅) 알고리즘으로 판정할 수 있음을 제시한다.

상세 분석

논문은 먼저 정상성의 정의를 재정리하고, 이를 다루기 위한 형식 언어 이론적 도구로서 무모호 자동자와 트랜스듀서를 도입한다. 무모호 자동자는 각 입력 문자열에 대해 최대 하나의 수용 실행만을 허용하는 비결정적 유한 상태 기계이며, 이는 함수적 트랜스듀서와 동등함을 기존 연구