IIUM Repository

Sticker systems over monoids

Mohd Sebry, Nurul Afidah and Hamzah, Nur Zatul Akmar and Sarmin, Nor Haniza and Fong, Wan Heng and Turaev, Sherzod (2012) Sticker systems over monoids. Malaysian Journal of Fundamental and Applied Sciences, 8 (3). pp. 127-132. ISSN 1823-626X

[img] PDF (Sticker systems over monoids) - Published Version
Restricted to Repository staff only

Download (238kB) | Request a copy

Abstract

Molecular computing has gained many interests among researchers since Head introduced the first theoretical model for DNA based computation using the splicing operation in 1987. Another model for DNA computing was proposed by using the sticker operation which Adlemanused in his successful experiment for the computation of Hamiltonian paths in a graph: a double stranded DNA sequence is composed by prolonging to the left and to the right a sequence of (single or double) symbols by using given single stranded strings or even more complex dominoes with sticky ends, gluing these ends together with the sticky ends of the current sequence according to a complementarity relation. According to this sticker operation, a language generative mechanism, called a sticker system, can be defined: a set of (incomplete) double-stranded sequences (axioms) and a set of pairs of single or double-stranded complementary sequences are given. The initial sequences are prolonged to the left and to the right by using sequences from the latter set, respectively. The iterations of these prolongations produce “computations” of possibly arbitrary length. These processes stop when a complete double stranded sequence is obtained. Sticker systems will generate only regular languages without restrictions. Additional restrictions can be imposed on the matching pairs of strands to obtain more powerful languages. Several types of sticker systems are shown to have the same power as regular grammars; one type is found to represent all linear languages whereas another one is proved to be able to represent any recursively enumerable language. The main aim of this research is to introduce and study sticker systems over monoids in which with each sticker operation, an element of a monoid is associated and a complete double stranded sequence is considered to be valid if the computation of the associated elements of the monoid produces the neutral element. Moreover, the sticker system over monoids is defined in this study.

Item Type: Article (Journal)
Additional Information: 6846/26983
Uncontrolled Keywords: Sticker operation, Valence grammar, Valence sticker system, H system
Subjects: Q Science > QA Mathematics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Kulliyyahs/Centres/Divisions/Institutes (Can select more than one option. Press CONTROL button): Kulliyyah of Information and Communication Technology
Kulliyyah of Information and Communication Technology
Depositing User: Dr. Sherzod Turaev
Date Deposited: 27 Nov 2012 10:56
Last Modified: 17 Feb 2017 17:03
URI: http://irep.iium.edu.my/id/eprint/26983

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year