Abstract
We show that the iterated splicing operation determined by a regular H scheme (with some necessary restrictions) preserves membership in any full abstract family of languages. This involves translation of an H scheme into two alternative forms. The first form, which is closely related to the underlying biochemical operations, uses cutting and pasting rather than splicing. The second form uses matrices of languages, and in this formulation the splicing operation is translated into standard formal language operations (concatenation and quotient). Moreover, in the matrix formulation the splicing language itself may be expressed in terms of standard formal language operations, and this provides an algorithm for calculating the splicing language. As an application we use the cutting and pasting approach to extend the closure result to circular strings.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.