희소 통신 셀룰러 오토마타와 제한된 언어

초록

본 논문은 실시간 일방향 셀룰러 오토마타에 셀 간 통신 횟수를 제한하는 제약을 추가하고, 이러한 장치를 유한 언어(특히 경계 언어)의 인식기에 적용한다. 통신 횟수를 상수 수준으로 제한해도 반세미선형이 아닌 경계 언어를 받아들일 수 있음을 보이며, 통신 횟수가 입력 길이에 대해 로그 수준 이상이면 주요 결정 문제들이 불가능함을 증명한다. 또한 전체 통신 횟수가 선형으로 제한된 경우에도 동일한 불가능성 결과가 성립한다는 점을 제시한다.

상세 분석

이 연구는 셀룰러 오토마타(CA)의 계산 능력을 두 축으로 세분화한다. 첫 번째 축은 시간 복잡도이며, 여기서는 가장 약한 실시간 일방향 모델(real‑time one‑way CA, OCA)을 선택한다. 두 번째 축은 셀 간 통신 빈도이다. 기존 OCA는 인접 셀 사이에 무제한으로 신호를 주고받을 수 있지만, 저자는 각 인접 셀 쌍이 사용할 수 있는 통신 채널의 사용 횟수를 함수 f(n)으로 제한한다. 특히 f(n)=O(1)인 경우와 f(n)=Ω(log n)인 경우, 그리고 전체 통신 횟수가 O(n)인 경우를 중점적으로 분석한다.

경계 언어(bounded language)는 형태 L⊆a₁* a₂* … a_k* 로 표현되는 언어이며, 전통적으로 반세미선형(semilinear) 언어와 동형인 경우가 많다. 그러나 논문은 “각 인접 셀 쌍이 상수 횟수만 통신할 수 있는 OCA”가 반세미선형이 아닌 경계 언어를 인식할 수 있음을 구성한다. 구체적으로, 저자는 두 단계의 동기화 메커니즘을 설계한다. 첫 단계에서는 입력을 블록 단위로 스캔하면서 각 블록의 길이를 셀 내부 카운터에 저장하고, 두 번째 단계에서는 저장된 카운터 값을 이용해 블록 간 관계(예: a_i^p ≤ a_{i+1}^q 등)를 검증한다. 이 과정에서 셀 간 통신은 오직 블록 경계에서만 발생하므로 각 셀 쌍당 통신 횟수는 상수에 머문다.

반면, 통신 제한을 로그 수준(log n) 이상으로 완화하면, 셀들은 입력 전체에 걸쳐 정보를 전파할 수 있게 되고, 이는 기존에 알려진 OCA의 강력한 계산 능력과 동등해진다. 저자는 이 경우에 언어 동등성, 포함 관계, 공리화 가능성 등 여러 전통적인 결정 문제들이 불가능(undecidable)함을 증명한다. 증명은 기존의 튜링 기계 시뮬레이션 기법을 변형하여, 로그 통신을 이용해 셀들이 전역적인 카운터와 스택을 구현하도록 구성한다. 이렇게 구현된 기계는 무한히 많은 구성 상태를 가질 수 있어, 언어 포함 문제와 같은 메타-문제에 대해 귀류법을 적용할 수 있다.

또한 전체 통신 횟수가 O(n)으로 제한된 경우에도 동일한 불가능성 결과가 유지된다. 이는 통신이 전체적으로는 충분히 많지만, 각 셀 쌍당 사용 제한이 없기 때문에 전역적인 정보 전파가 가능해지는 점을 이용한다. 저자는 이러한 모델을 “선형 통신 제한 OCA”라 명명하고, 이를 통해 언어 동등성 문제와 무한 언어 포함 문제 등이 여전히 결정 불가능함을 보인다.

결과적으로, 논문은 셀룰러 오토마타의 계산 능력이 통신 제한이라는 아주 미세한 파라미터에 의해 급격히 변한다는 사실을 명확히 한다. 상수 수준의 통신 제한만으로도 비반세미선형 경계 언어를 인식할 수 있지만, 로그 수준 이상의 통신이 허용되면 전통적인 불가능성 경계에 도달한다는 점은, 셀룰러 오토마타 이론에서 새로운 복잡도 구분을 제시한다.