Splicing systems: accepting versus generating

  • Authors:

  • Juan Castellanos;Victor Mitrana;Eugenio Santos

  • Affiliations:

  • Department of Artificial Intelligence, Faculty of Informatics, Polytechnic University of Madrid, Madrid, Spain;Department of Organization and Structure of Information, University School of Informatics, Polytechnic University of Madrid, Madrid, Spain;Department of Organization and Structure of Information, University School of Informatics, Polytechnic University of Madrid, Madrid, Spain

  • Venue:
  • CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we propose a condition for rejecting the input word by an accepting splicing system which is defined by a finite set of forbidding words. More precisely, the input word is accepted as soon as a permitting word is obtained provided that no forbidding word has been obtained so far, otherwise it is rejected. Note that in the new variant of accepting splicing system the input word can be rejected if either no permitting word is ever generated (like in [10]) or a forbidding word has been generated and no permitting word had been generated before. We investigate the computational power of the new variants of accepting splicing systems. We show that the new condition strictly increases the computational power of accepting splicing systems. Rather surprisingly, accepting splicing systems considered here can accept non-regular languages, a situation that has never occurred in the case of (extended) finite splicing systems without additional restrictions.