단일 사용 레지스터 자동화와 데이터 워드의 새로운 정규성

초록

단일 사용 제약을 부여한 레지스터 자동화와 트랜스듀서는 무한 알파벳 위에서도 유한 알파벳과 동등한 강력한 모델 동등성을 제공한다. 이 논문은 1‑way·2‑way 자동화, 궤도‑유한 모노이드, 강제된 MSO, 원자 기반 리스트 함수 등 다섯 모델이 같은 언어를 인식함을 증명하고, 트랜스듀서에 대해서도 네 가지 모델이 동등함을 보인다. 또한 Krohn‑Rhodes 정리를 확장하고, 합성·동등성 판정이 결정 가능한 등 풍부한 대수·논리 이론을 구축한다.

상세 분석

이 논문은 Kaminski‑Francez식 레지스터 자동화를 출발점으로 삼아, “단일 사용(single‑use)” 제약—레지스터가 사용된 직후 즉시 비워지는 규칙—을 도입한다. 이 제약은 기존의 무제한 레지스터 자동화에서 발생하던 모델 간 비등가성 문제를 해소하고, 여러 전통적인 정규 언어 이론을 무한 알파벳 상황에 그대로 옮겨올 수 있게 만든다. 핵심 결과는 다음과 같다.

1. 언어 인식 모델의 동등성: 결정적 1‑way 단일 사용 자동화, 결정적 2‑way 단일 사용 자동화, 궤도‑유한(moniod) 모노이드, 강제된 MSO(rigidly guarded MSO~), 그리고 원자 기반 리스트 함수(regular list functions with atoms) 다섯 모델이 동일한 언어 집합을 인식한다는 정리(Theorem 5). 이는 기존 연구에서 무제한 레지스터 자동화가 서로 포괄 관계만 보였던 상황과는 대조적이다.

2. 대수적 구조: 궤도‑유한 모노이드는 유한 모노이드의 Green 관계와 Simon의 factorisation forest 정리를 궤도‑유한 버전으로 확장한다. 이를 통해 언어 인식에 필요한 모노이드 동형 사상과 수용 집합을 효과적으로 구성할 수 있다.

3. 트랜스듀서 모델의 견고함: 1‑way·2‑way 단일 사용 트랜스듀서, 원자 확장 스트리밍 문자열 트랜스듀서, 원자 리스트 함수, 그리고 “프라임” 2‑way 머신의 합성(프라임 머신은 기존 Krohn‑Rhod​es 정리의 기본 Mealy 머신에 원자 이동 레지스터를 추가한 형태) 네 모델이 같은 문자열‑대‑문자열 함수 집합을 정의한다(Section 5). 특히 2‑way 단일 사용 트랜스듀서는 입력을 역순으로 출력하는 등 1‑way 모델이 할 수 없는 연산을 수행한다.

4. Krohn‑Rhod​es 정리의 확장: 무한 알파벳 위에서도 모든 단일 사용 Mealy‑형 트랜스듀서는 “프라임” 머신들의 합성으로 분해될 수 있음을 보인다. 여기서 프라임 머신은 기존 정규 언어 이론의 원시 Mealy 머신에 원자 이동 레지스터를 더한 것으로, 원자 비교만 허용되는 제약을 만족한다.

5. 결정 가능성 및 변환 알고리즘: 모든 동등성 변환은 효과적이며, 특히 언어 인식의 공허성 문제는 1‑way·단일 사용 자동화와 2‑way·단일 사용 자동화 모두에서 결정 가능하다. 반면, 다중 사용(다중 사용) 자동화는 2‑way 경우에 공허성 문제가 미해결이며, 1‑way 경우에도 복잡도가 급격히 상승한다.

6. 실용적 의미: 단일 사용 제약은 레지스터를 “한 번만 읽고 바로 버린다”는 직관적인 메모리 관리 모델을 제공한다. 이는 데이터베이스 스트림 처리, 네트워크 패킷 분석 등에서 동일한 데이터 값을 여러 번 보관할 필요가 없는 경우에 효율적인 구현을 가능하게 한다. 또한, 원자 기반 리스트 함수는 함수형 프로그래밍 언어에서 무한 데이터 타입을 다루는 데 유용한 추상화이다.

전체적으로 논문은 무한 알파벳 위의 정규성 개념을 재정립하고, 단일 사용 제약이 가져오는 구조적 단순화와 모델 간 동등성을 통해 기존의 “정규 언어는 유한 알파벳에만 존재한다”는 인식을 뒤집는다. 이는 이론 컴퓨터 과학뿐 아니라 실무 시스템 설계에서도 새로운 설계 원칙을 제공한다.