비 규칙적인 문자열 변환을 증명하는 방법이 있습니까?

언어 간 변환을 정의하기위한 여러 가지 모델이 있습니다. 문자열 그래프에 대한 유한 상태 변환기와 MSO 정의 가능 그래프 변환은 내가 가장 잘 알고있는 두 가지입니다. 2-way 유한 상태 변환기 (1-way 대응보다 표현력이 우수함)와 MSO 정의 가능 문자열 변환은 결합기를 사용하는 덜 알려진 다른 모델과 함께 동일한 변환 세트를 캡처한다는 것을 알고 있습니다. 이 클래스의 변환은 규칙적인 것으로 간주되므로 이러한 모델 중 하나를 사용하여 설명을 제공 할 수 있으면 변환이 규칙적임을 쉽게 보여줄 수 있습니다.

변환이이 클래스 외부에 있다고 말할 수있는 간단한 방법이 있습니까? 일반 언어 나 Myhill-Nerode 정리의 펌핑 보조 정리와 비슷하지만 문자열 변환은 내가 찾고있는 일종입니다.

당신의 질문은 완전히 정의되지 않았습니다 : 당신은 어떻게 변화를 시작합니까? 예를 들어 변환이 Turing machine에 의해 제공되었다고 가정하면 규칙적인 변환인지 여부를 결정하는 알고리즘적인 방법은 없습니다.

그러나 당신이 요구하는 것은 문자열 변환의 "기계 독립적"특성 (예 : Myhill-Nerode)이 있는지 여부입니다.

나는 일반적으로 그러한 특성을 알지 못하지만 (그 특성이 알려져 있지 않다고 확신합니다) Bojnaczyk가 개발 한 원점 정보를 가진 문자열 변환기에 대한 특성이 있습니다.

여기서 시작할 수 있습니다 .