[논문 리뷰] Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

Olivier Carton, Bruno Guillon외 1명|arXiv (Cornell University)|2018. 04. 10.

Cellular Automata and Applications참고 문헌 14인용 수 5

한 줄 요약

이 논문은 합이 없는(복사 연산을 가진) 및 합이 있는(합 연산을 가진) 두 종류의 카운터 기계와 방향성 경로 그래프에서 작동하는 분산 자동기의 클래스 사이에 표현적 동치성을 확립한다. 공간과 시간 사이의 이중성에 착안하여, 저자들은 선형 공간과 시간 n을 사용하는 카운터 기계가 상태 전이 역사 정보를 인코딩하는 카운터를 이용한 유한 상태 시뮬레이션을 통해 동일한 언어를 분산 자동기와 동일한 언어를 인식할 수 있음을 보여준다.

ABSTRACT

We prove the equivalence of two classes of counter machines and one class of distributed automata. Our counter machines operate on finite words, which they read from left to right while incrementing or decrementing a fixed number of counters. The two classes differ in the extra features they offer: one allows to copy counter values, whereas the other allows to compute copyless sums of counters. Our distributed automata, on the other hand, operate on directed path graphs that represent words. All nodes of a path synchronously execute the same finite-state machine, whose state diagram must be acyclic except for self-loops, and each node receives as input the state of its direct predecessor. These devices form a subclass of linear-time one-way cellular automata.

연구 동기 및 목표

• 제한된 연산을 가진 카운터 기계(합이 없는 vs. 복사가 없는)와 준순환적 상태 전이를 가지는 분산 자동기의 표현력을 조사한다.
• 순차적 카운터 기계의 공간 사용과 분산 자동기의 시간 사용 사이의 이중성을 탐구한다.
• 카운터 기계가 카운터 값에 대한 제한된 액세스를 가지며 복사가 없는 업데이트를 수행함으로써, 이러한 모델들 사이의 형식적 대응 관계를 수립한다.
• 두 카운터 기계 유형과 분산 자동기 모델이 동일한 언어 클래스를 인식함을 보여준다.
• 세포 자동기 및 일방 자동기에서의 언어 인식을 이해하는 데 기여하기 위해, 이를 카운터 기계 모델과 연관지어 본다.

제안 방법

• 입력 단어를 나타내는 경로 그래프에서 준순환적 분산 자동기 A의 행동을 시뮬레이션하는 카운터 기계 M을 구성한다.
• 각 노드가 A에서 거쳐가는 무한 상태 시퀀스를 유한한 쌍(상태, 값)의 시퀀스로 표현하며, 값은 1, ∞, 또는 카운터 변수가 될 수 있다.
• 각 상태가 상태 전이 시퀀스에서 나타나는 횟수를 카운터로 인코딩하며, 공간 사용을 제한하기 위해 값은 ℓ로 잘라낸다.
• 현재 상태와 ℓ-자르기된 카운터 값에서 다음 상태와 업데이트 함수 ξ로 매핑하는 전이 함수 τ를 정의하며, 복사가 없는 업데이트를 보장한다.
• 각 카운터 변수가 각 업데이트에서 최대 한 번만 사용되도록 하여 복사가 없는 성질을 유지하며, 식에 포함된 덧셈 상수는 ℓ 이내로 제한한다.
• ℓ 자르기 조건 하에서 기계의 행동이 정확히 일치함을 보여줌으로써, 시뮬레이션이 언어 인식을 올바르게 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 합이 없는 카운터 기계(복사 연산을 가짐)와 복사가 없는 카운터 기계(합 연산을 가짐)는 둘 다 선형 카운터 성장에 제한될 경우 동일한 언어를 인식할 수 있는가?
• RQ2 순차적 카운터 기계의 공간 사용과 분산 자동기의 시간 사용 사이에 형식적 이중성이 존재하는가?
• RQ3 준순환적 상태 다이어그램을 가진 분산 자동기를 카운터 값에 대한 제한된 액세스와 복사가 없는 업데이트를 가진 카운터 기계로 시뮬레이션할 수 있는가?
• RQ4 준순환적 상태 다이어그램을 가진 분산 자동기의 표현력은 언어 인식 측면에서 어떻게 평가할 수 있는가?
• RQ5 경로 그래프에서의 분산 자동기 행동을 유한 상태 기계에 카운터를 추가하여 어떻게 인코딩할 수 있는가?

주요 결과

• 카운터 값에 대한 제한된 액세스를 가지는 합이 없는 및 복사가 없는 카운터 기계는 표현적으로 동치이며, 동일한 언어 클래스를 인식한다.
• 준순환적 상태 다이어그램을 가진 분산 자동기는 복사가 없는 카운터 기계로 시뮬레이션 가능하며, 언어 인식이 유지된다.
• 시뮬레이션은 분산 자동기 실행 과정에서 루프 상태가 나타나는 횟수를 카운터로 인코딩하며, 유한한 공간을 확보하기 위해 값은 ℓ로 잘라낸다.
• 카운터 기계의 전이 함수는 복사가 없으며, 각 카운터 변수는 각 업데이트에서 최대 한 번만 사용되며, 덧셈 상수는 ℓ 이내로 제한된다.
• 구성 과정은 분산 자동기가 인식하는 언어가 카운터 기계가 수락하는 언어와 정확히 일치함을 보장한다.
• 공간과 시간 사이의 이중성이 형식화되었다: 카운터 기계는 시간 n과 선형 공간을 사용하지만, 분산 자동기는 공간 n과 선형 시간을 사용하며, 동일한 표현력을 가진다.