최소 규칙 수 보편적 MPMRS 설계와 최적화 전략

초록

본 논문은 최대 병렬 멀티셋 재작성 시스템(MPMRS)의 규칙 수를 최소화하는 다양한 전략을 제시한다. 작은 보편 레지스터 머신을 MPMRS로 변환하고, 인코딩 및 구조 변환 기법을 적용해 23개의 규칙만으로 보편성을 달성한다. 이는 제한된 형태의 안티포트 P 시스템에서도 동일하게 적용되어 기존 결과보다 규칙 수를 크게 줄인다.

상세 분석

MPMRS는 멀티셋을 동시에 여러 규칙에 따라 변환하는 모델로, 레지스터 머신, P 시스템 등 다양한 계산 모델을 표현할 수 있다. 이러한 모델이 계산적으로 완전함을 보이기 위해서는 일반적으로 수백 개에 달하는 규칙이 필요했지만, 본 연구는 규칙 수를 현저히 감소시키는 방법론을 체계적으로 탐구한다. 첫 번째 전략은 기존 번역 과정에서 발생하는 중복 규칙과 불필요한 중간 객체를 제거하는 인코딩 최적화이다. 여기서는 레지스터 값과 명령 포인터를 하나의 복합 기호로 결합해 상태 공간을 압축하고, 동일한 연산을 수행하는 여러 규칙을 하나의 일반화된 규칙으로 통합한다. 두 번째 전략은 구조 변환을 이용해 규칙의 적용 순서를 재배열하고, 최대 병렬성의 특성을 활용해 동시에 여러 연산을 수행하도록 설계한다. 이를 위해 ‘반전 규칙’과 ‘소멸 규칙’을 조합해 불필요한 중간 단계 없이 바로 목표 상태로 전이하도록 만든다. 세 번째 전략은 보편 레지스터 머신(Korec, 1996)의 특성을 분석해 최소 명령 집합만을 선택하고, 각 명령을 MPMRS 규칙으로 매핑할 때 가능한 가장 간결한 형태로 표현한다. 특히, 증감 명령과 조건 분기 명령을 하나의 규칙 패턴으로 통합하고, 레지스터 초기값을 암묵적으로 가정함으로써 초기 설정 규칙을 제거한다. 이러한 세 가지 전략을 종합하면, 기존 번역에서 요구되던 70여 개 이상의 규칙이 23개로 축소된다. 또한, MPMRS와 동일한 계산 능력을 갖는 제한된 안티포트 P 시스템에 동일한 규칙 집합을 적용할 수 있음을 증명함으로써, 안티포트 P 시스템 분야에서도 규칙 수 최소화에 대한 새로운 기준을 제시한다. 실험적 검증을 위해 구현된 시뮬레이터는 다양한 입력에 대해 정상적으로 동작했으며, 규칙 수 감소가 시스템의 실행 시간이나 메모리 사용량에 부정적 영향을 주지 않음을 확인하였다.