Universiti Teknologi Malaysia Institutional Repository

Closure properties of bonded sequential insertion-deletion systems

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.

[img]
Preview
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