1 research outputs found
Derivation languages, descriptional complexity measures and decision problems of a class of flat splicing systems
In this paper, we associate the idea of derivation languages with flat
splicing systems and compare the families of derivation languages (Szilard and
control languages) of these systems with the family of languages in Chomsky
hierarchy. We show that the family of Szilard languages of labeled flat finite
splicing systems of type (i.e., ) and ,
and are incomparable. Also, it is decidable whether or not and for any regular language and labeled flat finite
splicing system . Also, any non-empty regular, non-empty
context-free and recursively enumerable language can be obtained as homomorphic
image of Szilard language of the labeled flat finite splicing systems of type
and respectively. We also introduce the idea of
control languages for labeled flat finite splicing systems and show that any
non-empty regular and context-free language can be obtained as a control
language of labeled flat finite splicing systems of type and
respectively. At the end, we show that any recursively enumerable language can
be obtained as a control language of labeled flat finite splicing systems of
type when -labeled rules are allowed