[논문 리뷰] How to Obtain Computational Completeness in P Systems with One Catalyst

Rudolf Freund, Gheorghe Pǎun|2013. 09. 05.

DNA and Biological Computing인용 수 3

한 줄 요약

이 논문은 특정 제어 메커니즘—예를 들어 레이블, 대상 또는 시간에 따라 변하는 규칙 집합을 통한 규칙 선택—을 도입함으로써 단일 촉매를 사용하는 P 시스템에서 계산 완전성을 확립한다. 이는 최소한의 자원으로 하나의 막에서 유니버설 계산을 가능하게 한다. 주요 기여는 단일 촉매와 적절한 제어 전략을 조합함으로써 계산 완전성이 달성될 수 있음을 증명한 것으로, 이러한 제약 조건 하에서 열려 있는 문제를 해결한다.

ABSTRACT

Whether P systems with only one catalyst can already be computationally complete, is still an open problem. Here we establish computational completeness by using specific variants of additional control mechanisms. At each step using only multiset rewriting rules from one set of a finite number of sets of multiset rewriting rules allows for obtaining computational completeness with one catalyst and only one membrane. If the targets are used for choosing the multiset of rules to be applied, for getting computational completeness with only one catalyst more than one membrane is needed. If the available sets of rules change periodically with time, computational completeness can be obtained with one catalyst in one membrane. Moreover, we also improve existing computational completeness results for P systems with mobile catalysts and for P systems with membrane creation.

연구 동기 및 목표

• 단일 촉매만을 가진 P 시스템이 계산 완전성을 달성할 수 있는지 여부에 대한 열린 문제를 해결하기 위해.
• 다른 촉매가 없을 경우 추가 제어 메커니즘이 유니버설리티 달성에 기여할 수 있는지 조사하기 위해.
• 이동 가능한 촉매와 막 생성을 고려한 P 시스템에서의 계산 완전성에 관한 기존 결과를 향상시켜 자원 요구량을 줄이기 위해.
• 시간에 따라 변하는 규칙 집합 또는 규칙 선택 메커니즘을 사용하여 단일 막과 단일 촉매로도 계산 완전성이 달성될 수 있음을 보여주기 위해.
• 제한된 촉매 및 막 구성 조건 하에서 촉매적 P 시스템의 유니버설리티를 위한 최소 요구 조건을 명확히 하기 위해.

제안 방법

• 고정된 주기(예: 주기 6)로 주기적으로 변하는 시간에 따라 변하는 규칙 집합을 사용하여, 한 막에서 최대 병렬 유도를 가능하게 한다.
• 유한 알파벳 H를 사용한 규칙 레이블링을 적용하여, 각 단계에서 동일한 레이블을 가진 규칙들만 적용되도록 하여, 최대 병렬 환경에서도 제어되고 순차적인 행동을 유도한다.
• 여러 막을 통해 'in', 'out', 'here' 등의 대상으로 지정된 규칙 선택을 적용하여 규칙 적용을 유도하고 계산 완전성을 달성한다.
• 레지스터 기계의 시뮬레이션을 설계하여 촉매와 객체 진화 규칙을 사용하고, 레지스터 내용은 객체 수로 인코딩하고 제어 흐름은 레이블 전파를 통해 구현한다.
• 잘못된 구성이 발생할 경우 비정지 계산이 되도록 방지하기 위해 트랩 객체 (#) 를 도입하고, 불가역적 규칙 적용을 통해 정확성을 보장한다.
• 한 막, 한 촉매, 주기 6의 시간에 따라 변하는 규칙 집합을 가진 P 시스템을 구성하여, 더 이상 적용 가능한 규칙가 없을 때 정지가 발생함을 보여주어 유니버설리티를 달성한다.

실험 결과

연구 질문

• RQ1 추가 제어 메커니즘을 사용하여 단일 촉매를 가진 P 시스템에서 계산 완전성이 달성될 수 있는가?
• RQ2 시간에 따라 변하는 규칙 집합을 사용하여 단일 막, 단일 촉매 P 시스템에서 유니버설리티를 달성할 수 있는가?
• RQ3 단일 촉매를 가진 다중 막 시스템에서 대상 기반 규칙 선택이 유니버설 계산을 시뮬레이션할 수 있는가?
• RQ4 유한 알파벳을 사용한 규칙 레이블링이 단일 막, 단일 촉매 P 시스템에서 계산 완전성을 가능하게 하는가?
• RQ5 단일 촉매로 계산 완전성을 달성할 때 막 생성 또는 투과성 제어 연산(δ 및 τ)의 필요성을 제거할 수 있는가?

주요 결과

• 최대 병렬 유도 모드를 사용하여 주기 6의 시간에 따라 변하는 규칙 집합을 가진 단일 촉매, 단일 막 P 시스템에서 계산 완전성이 달성되었다.
• 유한 알파벳 H 에서의 레이블을 통한 규칙 선택을 사용하는 단일 촉매, 단일 막 P 시스템은 유니버설 계산을 시뮬레이션할 수 있으며, 이는 계산 완전성을 증명한다.
• 대상 기반 규칙 선택은 단일 촉매로도 계산 완전성을 달성할 수 있지만, 이를 위해선 두 개 이상의 막이 필요하므로 다중 막 케이스를 해결한다.
• 트랩 객체 (#) 의 사용은 잘못된 구성이 비정지 계산으로 이어지게 하여, 레지스터 기계 명령의 시뮬레이션에서 정확성을 보장한다.
• 이전의 구성에서 막 생성 및 투과성 제어 연산 δ 및 τ 를 제거함으로써 자원 사용을 줄였으며, 이는 기존 결과를 향상시킨다.
• 구성된 P 시스템이 생성하는 언어의 파리크 이미지가 목표 재귀적으로 열거 가능한 언어의 파리크 이미지와 일치함을 확인하여 계산 완전성을 확인한다.