On Derivation Languages of a Class of Splicing Systems

Kalpana Mahalingam Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 36, India https://orcid.org/0000-0003-2418-0512
Prithwineel Paul Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 36, India https://orcid.org/0000-0001-8351-3407
Erkki Mäkinen Faculty of Natural Sciences/Computer Science, University of Tampere, Finland https://orcid.org/0000-0003-1228-9297

DOI: https://doi.org/10.14232/actacyb.23.4.2018.1

Keywords: splicing systems, Szilard languages, control languages

Abstract

Derivation languages are language theoretical tools that describe halting derivation processes of a generating device. We consider two types of derivation languages, namely Szilard and control languages for splicing systems where iterated splicing is done in non-uniform way defined by Mitrana, Petre and Rogojin in 2010. The families of Szilard (rules and labels are mapped in a one to one manner) and control (more than one rule can share the same label) languages generated by splicing systems of this type are then compared with the family of languages in the Chomsky hierarchy. We show that context-free languages can be generated as Szilard and control languages and any non-empty context-free language is a morphic image of the Szilard language of this type of system with finite set of rules and axioms. Moreover, we show that these systems with finite set of axioms and regular set of rules are capable of generating any recursively enumerable language as a control language.

Downloads

Download data is not yet available.

Published

2018-12-14

How to Cite

Mahalingam, K., Paul, P., & Mäkinen, E. (2018). On Derivation Languages of a Class of Splicing Systems. Acta Cybernetica, 23(4), 981-993. https://doi.org/10.14232/actacyb.23.4.2018.1

Download Citation

Issue

Vol 23 No 4 (2018)

Section

Regular articles