Currently displaying 1 – 3 of 3

Showing per page

Order by Relevance | Title | Year of publication

Circular splicing and regularity

Paola BonizzoniClelia De FeliceGiancarlo MauriRosalba Zizza — 2004

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Circular splicing has been very recently introduced to model a specific recombinant behaviour of circular DNA, continuing the investigation initiated with linear splicing. In this paper we restrict our study to the relationship between regular circular languages and languages generated by finite circular splicing systems and provide some results towards a characterization of the intersection between these two classes. We consider the class of languages X * , called here star languages, which are closed...

Circular splicing and regularity

Paola BonizzoniClelia De FeliceGiancarlo MauriRosalba Zizza — 2010

RAIRO - Theoretical Informatics and Applications

has been very recently introduced to model a specific recombinant behaviour of circular DNA, continuing the investigation initiated with linear splicing. In this paper we restrict our study to the relationship between and languages generated by and provide some results towards a characterization of the intersection between these two classes. We consider the class of languages , called here , which are closed under conjugacy relation and with being a regular language. Using automata...

Complexity classes for membrane systems

Antonio E. PorrecaGiancarlo MauriClaudio Zandron — 2006

RAIRO - Theoretical Informatics and Applications

We compare various computational complexity classes defined within the framework of membrane systems, a distributed parallel computing device which is inspired from the functioning of the cell, with usual computational complexity classes for Turing machines. In particular, we focus our attention on the comparison among complexity classes for membrane systems with active membranes (where new membranes can be created by division of existing membranes) and the classes , , and .

Page 1

Download Results (CSV)