Sequential and maximally parallel multiset rewriting: reversibility and determinism

  • Authors:

  • Artiom Alhazov;Rudolf Freund;Kenichi Morita

  • Affiliations:

  • FCS, Department of Information Engineering, Graduate School of Engineering, Hiroshima University, Higashi-Hiroshima, Japan 739-8527 and Institute of Mathematics and Computer Science, Academy of Sc ...;Faculty of Informatics, Vienna University of Technology, Vienna, Austria 1040;FCS, Department of Information Engineering, Graduate School of Engineering, Hiroshima University, Higashi-Hiroshima, Japan 739-8527

  • Venue:
  • Natural Computing: an international journal
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study reversibility and determinism aspects and the strong versions of these properties of sequential multiset processing systems and of maximally parallel systems, from the computability point of view. In the sequential case, syntactic criteria are established for both strong determinism and strong reversibility. In the parallel case, a criterion is established for strong determinism, whereas strong reversibility is shown to be decidable. In the sequential case, without control all four classes--deterministic, strongly deterministic, reversible, strongly reversible--are not universal, whereas in the parallel case deterministic systems are universal. When allowing inhibitors, the first and the third class become universal in both models, whereas with priorities all of them are universal. In the maximally parallel case, strongly deterministic systems with both promoters and inhibitors are universal. We also present a few more specific results and conjectures.