[논문 리뷰] Formal Languages in Dynamical Systems

G. Troll|ArXiv.org|1993. 05. 21.

Cellular Automata and Applications참고 문헌 11인용 수 4

한 줄 요약

이 논문은 세포자동기(CA)의 불변 서브시프트에서 기호 역학과 형식 언어 사이의 범주론적 함자적 대응을 수립하며, 서브시프트 간의 위상 수반성(topological conjugacies)이 언어 간의 빈 문자열 제한된 일반화된 순차기계(generalized sequential machines)에 대응됨을 보여준다. 이는 형식 언어 복잡도의 콜름스키 계층구조(Chomsky hierarchy)가 동역학계에서의 수반성 불변성(invariant)이 되며, 혼돈 산산이 흩어지는 상황에서 갇힌 집합의 복잡도 전이를 연구할 수 있도록 동역학적 의미를 부여함으로써, 혼돈 산산이 흩어지는 상황에서 갇힌 집합의 복잡도 전이를 연구할 수 있도록 한다.

ABSTRACT

We treat here the interrelation between formal languages and those dynamical systems that can be described by cellular automata (CA). There is a well-known injective map which identifies any CA-invariant subshift with a central formal language. However, in the special case of a symbolic dynamics, i.e. where the CA is just the shift map, one gets a stronger result: the identification map can be extended to a functor between the categories of symbolic dynamics and formal languages. This functor additionally maps topological conjugacies between subshifts to empty-string-limited generalized sequential machines between languages. If the periodic points form a dense set, a case which arises in a commonly used notion of chaotic dynamics, then an even more natural map to assign a formal language to a subshift is offered. This map extends to a functor, too. The Chomsky hierarchy measuring the complexity of formal languages can be transferred via either of these functors from formal languages to symbolic dynamics and proves to be a conjugacy invariant there. In this way it acquires a dynamical meaning. After reviewing some results of the complexity of CA-invariant subshifts, special attention is given to a new kind of invariant subshift: the trapped set, which originates from the theory of chaotic scattering and for which one can study complexity transitions.

연구 동기 및 목표

• 형식 언어와 동역학계, 특히 세포자동기로 묘사되는 것들 간의 관계를 체계화하기.
• CA-불변 서브시프트와 형식 언어 사이의 단사 사상(injective map)을 위상 수반성을 유지하는 함자적 구조로 확장하기.
• 형식 언어의 복잡도 계층구조인 콜름스키 계층구조가 기호 역학에서의 불변성으로 어떻게 번역되는지 조사하기.
• 혼돈 산산이 흩어지는 상황에서 유도되는 새로운 종류의 불변 서브시프트인 갇힌 집합(trapped sets)을 도입하고 분석하기.

제안 방법

• 이동 사상(shift map)을 기본 동역학 시스템으로 사용하여, 기호 역학의 범주에서 형식 언어의 범주로의 함자 정의하기.
• 서브시프트에서 형식 언어로의 사상 구축을 통해, 빈 문자열 제한된 일반화된 순차기계를 통해 위상 수반성을 유지하기.
• 혼란 동역학의 특징인 주기점의 조밀성(density of periodic points)을 이용하여 서브시프트에 자연스러운 언어 할당 정의하기.
• 콜름스키 계층구조를 적용하여 언어 복잡도를 분류하고, 이가 동역학계 맥락에서 위상 수반성에 대해 불변임을 보여주기.
• 혼돈 산산이 흩어지는 상황에서 유도되는 갇힌 집합의 개념을 도입하여, 복잡도 분석을 위한 새로운 종류의 불변 서브시프트로 삼기.
• 범주론적 언어를 사용하여 형식 언어 이론과 기호 역학을 통합하고, 동역학계와 언어 간의 구조적 비교 가능성을 높이기.

실험 결과

연구 질문

• RQ1 세포자동기의 서브시프트에 형식 언어를 체계적으로 할당하여 그 동역학적 구조를 반영할 수 있는 방법은 무엇인가?
• RQ2 기호 역학과 형식 언어 사이의 범주론적 관계는 무엇이며, 어떻게 위상 수반성을 유지하는가?
• RQ3 콜름스키 계층구조가 동역학계에서 수반성 불변성으로 작용할 수 있는가? 이는 동역학적 의미를 획득하는가?
• RQ4 새로 도입된 혼돈 산산이 흩어지는 상황에서의 갇힌 집합에서 복잡도 전이는 어떻게 나타나는가?
• RQ5 주기점은 서브시프트에 대한 자연스러운 언어 표현을 정의하는 데 어떤 역할을 하는가?

주요 결과

• CA-불변 서브시프트와 형식 언어 사이의 식별 사상이 범주론적 구조와 수반성을 유지하는 함자로 확장된다.
• 서브시프트 간의 위상 수반성은 언어 간의 빈 문자열 제한된 일반화된 순차기계로 매핑되며, 이는 구조적 대응을 수립한다.
• 형식 언어 복잡도의 콜름스키 계층구조는 기호 역학에서 수반성 불변성으로 전환되며, 따라서 동역학적 의미를 획득한다.
• 주기점이 조밀한 경우—혼란 동역학의 상징적 특징—언어 할당은 특히 자연스럽고 잘 정의된 성질을 띈다.
• 혼돈 산산이 흩어지는 상황에서 유도된 갇힌 집합은 언어 복잡도 전이를 체계적으로 연구할 수 있는 새로운 종류의 불변 서브시프트를 제공한다.
• 함자적 프레임워크는 언어 이론적 복잡도 측정법을 동역학계로 이행할 수 있게 하여, 새로운 불변성과 분석 도구를 가능하게 한다.