Universiti Teknologi Malaysia Institutional Repository

Formal language theory and DNA

Mohd. Ali, Nor Muhainiah (2004) Formal language theory and DNA. Masters thesis, Universiti Teknologi Malaysia, Faculty of Science.

[img] PDF
Restricted to Repository staff only

3926Kb
[img] PDF (Abstract)
176Kb
[img] PDF (Table of Contents)
77Kb
[img] PDF (1st Chapter)
136Kb

Abstract

Formal language theory is a branch of applied group theory that is denoted to the study of finite strings called language over some symbols chosen fiom a prescribed finite set called alphabet. A new manner of relating formal language theory to the study of informational macromolecules is initiated. A language is associated with each pair of sets where the first set consists of double-stranded DNA molecules and the second set consists of the recombinational behaviors allowed by specified classes of enzymatic activities. The scope of this research is on the potential effect of sets of restriction enzymes and ligase that allow DNA molecules to be cleaved and reassociated to produce further molecules. The associated languages are analysed by means of a new generative formalism called a splicing system. Splicing systems were originally developed as a mathematical or dry model of the generative of DNA molecules in the presence of appropriate restriction enzymes and a ligase. A significant subclass of these languages, which we call the persistent splicing languages, is shown to coincide with a class of regular languages which have been previously study in other contexts: the strictly locally testable languages. The relationship between the family SH of simple splicing language and the family of strictly locally testable languages is clarified. This study initiates the formal analysis of the generative power of recombinational behaviors in general. The splicing system formalism allows observations to be made concerning the generative power of general recombination and also of sets of enzymes that include general recombination.

Item Type:Thesis (Masters)
Additional Information:Thesis (Sarjana Sains (Matematik)) - Universiti Teknologi Malaysia, 2004; Supervisor : Assoc. Prof. Dr. Nor Haniza Sarmin
Uncontrolled Keywords:formal languages, double-stranded DNA molecules
Subjects:Q Science > Q Science (General)
Q Science > QA Mathematics
Divisions:Science
ID Code:8006
Deposited By: Ms Zalinda Shuratman
Deposited On:16 Mar 2009 06:34
Last Modified:15 Aug 2012 03:17

Repository Staff Only: item control page