Abdul Rahman, Aqilahfarhana and Wan, Heng Fong and Sarmin, Nor Haniza and Turaev, Sherzod
(2020)
*1-Normal form for static Watson-Crick regular and linear grammars.*
ASM Science Journal, 13
.
pp. 1-7.
ISSN 2682-8901

Full text not available from this repository.

Official URL: http://dx.doi.org/10.32802/asmscj.2020.sm26(5.1)

## Abstract

In DNA computing, there are various formal language theoretical approaches that involves the recombinant behavior of DNA sequences. A Watson-Crick automaton is a mathematical model that represents the biological properties of DNA based on the Watson-Crick complementarity of DNA molecules. Meanwhile, a sticker system is another DNA computing models which uses the sticker operation to form complete double-stranded sequences. Previously, Watson-Crick grammars have been introduced as the grammar counterparts of Watson-Crick automata which generate double-stranded strings using the Watson-Crick complementarity rules. Following that, static Watson-Crick grammars are introduced, where both stranded strings are generated dependently by checking for the Watson-Crick complementarity of each complete substring. In formal language theory, normal forms, such as Chomsky Normal Form (CNF) are defined by imposing the restrictions on the rules contained in context-free grammars. However, in previous research, 1-normal form for a Watson-Crick linear grammar was defined. In this research, 1-normal forms are introduced for both static Watson-Crick regular and linear grammars. Moreover, the implementation of 1-normal form is also presented by investigating the computational properties between the static Watson-Crick regular and linear grammars. The results from this research, hence, simplify the length of the rules in the grammars, which are useful for studying computational properties of Watson-Crick grammars.

Item Type: | Article |
---|---|

Uncontrolled Keywords: | formal languages, context-free grammars, static Watson-Crick grammars, normal form |

Subjects: | Q Science > QA Mathematics |

Divisions: | Science |

ID Code: | 93801 |

Deposited By: | Yanti Mohd Shah |

Deposited On: | 31 Dec 2021 08:51 |

Last Modified: | 31 Dec 2021 08:51 |

Repository Staff Only: item control page