Universiti Teknologi Malaysia Institutional Repository

Sticker systems over monoids

Mohd. Sebry, N. A. and Hamzah, N. Z. A. and Sarmin, NorHaniza and Fong, Wan Heng and Turaev, S. (2012) Sticker systems over monoids. Malaysian Journal of Fundamental and Applied Sciences (MJFAS), 8 (3). pp. 127-132. ISSN 1823-626X

[img] PDF (Fulltext) - Published Version
238kB

Official URL: http://mjfas.ibnusina.utm.my/index.php/jfs/article...

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
Additional Information:UTM Open Access Journal
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
Q Science > QA Mathematics > QA76 Computer software
Divisions:Science
ID Code:29081
Deposited By: Maznah Mohamed Ali
Deposited On:13 Mar 2013 03:47
Last Modified:17 Oct 2017 04:15

Repository Staff Only: item control page