Closure properties of static Watson-Crick linear and context-free grammars

Aqilahfarhana Abdul Rahman, Wan Heng Fong, Nor Haniza Sarmin, Sherzod Turaev

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

In DNA computing, a sticker system is a computing mechanism involving the Watson-Crick complementarity of DNA molecules. The sticker system is known as a language generating device based on the sticker operation which is analyzed through the concept of formal language theory. The grammar of a formal language can be described by determining finite sets of variables, terminal symbols and production rules. Research on the grammar which uses the Watson-Crick complementarity has been done previously, known as Watson-Crick grammars. As an improvement to the Watson-Crick grammars, the static Watson-Crick grammars have been proposed as an analytical counterpart of sticker system which consist of regular grammar, linear grammar and context-free grammar. In this research, the closure properties of static Watson-Crick linear and context-free grammars are investigated. The result shows that the families of languages generated by static Watson-Crick linear and context-free grammars are closed under different operations.

Original languageEnglish
Title of host publicationProceedings of the 27th National Symposium on Mathematical Sciences, SKSM 2019
EditorsSiti Nur Iqmal Ibrahim, Noor Akma Ibrahim, Fudziah Ismail, Lai Soon Lee, Wah June Leong, Habshah Midi, Nadihah Wahi
PublisherAmerican Institute of Physics Inc.
ISBN (Electronic)9780735420298
DOIs
Publication statusPublished - Oct 6 2020
Event27th National Symposium on Mathematical Sciences, SKSM 2019 - Bangi, Selangor, Malaysia
Duration: Nov 26 2019Nov 27 2019

Publication series

NameAIP Conference Proceedings
Volume2266
ISSN (Print)0094-243X
ISSN (Electronic)1551-7616

Conference

Conference27th National Symposium on Mathematical Sciences, SKSM 2019
Country/TerritoryMalaysia
CityBangi, Selangor
Period11/26/1911/27/19

ASJC Scopus subject areas

  • General Physics and Astronomy

Fingerprint

Dive into the research topics of 'Closure properties of static Watson-Crick linear and context-free grammars'. Together they form a unique fingerprint.

Cite this