Fong, W. H. and Yosman, A. F. and Mat Hassim, H. I. (2021) Closure properties of bonded sequential insertion-deletion systems. In: 28th Simposium Kebangsaan Sains Matematik, SKSM 2021, 28 July 2021 - 29 July 2021, Kuantan, Pahang, Virtual.
|
PDF
589kB |
Official URL: http://dx.doi.org/10.1088/1742-6596/1988/1/012075
Abstract
Through the years, formal language theory has evolved through continual interdisciplinary work in theoretical computer science, discrete mathematics and molecular biology. The combination of these areas resulted in the birth of DNA computing. Here, language generating devices that usually considered any set of letters have taken on extra restrictions or modified constructs to simulate the behavior of recombinant DNA. A type of these devices is an insertion-deletion system, where the operations of insertion and deletion of a word have been combined in a single construct. Upon appending integers to both sides of the letters in a word, bonded insertion-deletion systems were introduced to accurately depict chemical bonds in chemical compounds. Previously, it has been shown that bonded sequential insertion-deletion systems could generate up to recursively enumerable languages. However, the closure properties of these systems have yet to be determined. In this paper, it is shown that bonded sequential insertion-deletion systems are closed under union, concatenation, concatenation closure, λ-free concatenation closure, substitution and intersection with regular languages. Hence, the family of languages generated by bonded sequential insertion-deletion systems is shown to be a full abstract family of languages.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Uncontrolled Keywords: | closure property, discrete mathematics, formal language theory |
Subjects: | Q Science > QA Mathematics |
Divisions: | Science |
ID Code: | 95685 |
Deposited By: | Narimah Nawil |
Deposited On: | 31 May 2022 13:04 |
Last Modified: | 31 May 2022 13:04 |
Repository Staff Only: item control page