Formal language theory and DNA

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 from a prescribed finite set called alphabet. A new manner of relating formal language theory to the study of informational macromolecules is initiated....

Full description

Saved in:
Bibliographic Details
Main Author: Mohd. Ali, Nor Muhainiah
Format: Thesis
Language:English
Published: 2004
Subjects:
Online Access:http://eprints.utm.my/id/eprint/8006/1/NorMuhainiahMohdAliMFS2004.pdf
http://eprints.utm.my/id/eprint/8006/
http://dms.library.utm.my:8080/vital/access/manager/Repository/vital:11537
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.utm.8006
record_format eprints
spelling my.utm.80062018-09-19T05:07:15Z http://eprints.utm.my/id/eprint/8006/ Formal language theory and DNA Mohd. Ali, Nor Muhainiah Q Science (General) QA Mathematics 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 from 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. 2004-10 Thesis NonPeerReviewed application/pdf en http://eprints.utm.my/id/eprint/8006/1/NorMuhainiahMohdAliMFS2004.pdf Mohd. Ali, Nor Muhainiah (2004) Formal language theory and DNA. Masters thesis, Universiti Teknologi Malaysia, Faculty of Science. http://dms.library.utm.my:8080/vital/access/manager/Repository/vital:11537
institution Universiti Teknologi Malaysia
building UTM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Malaysia
content_source UTM Institutional Repository
url_provider http://eprints.utm.my/
language English
topic Q Science (General)
QA Mathematics
spellingShingle Q Science (General)
QA Mathematics
Mohd. Ali, Nor Muhainiah
Formal language theory and DNA
description 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 from 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.
format Thesis
author Mohd. Ali, Nor Muhainiah
author_facet Mohd. Ali, Nor Muhainiah
author_sort Mohd. Ali, Nor Muhainiah
title Formal language theory and DNA
title_short Formal language theory and DNA
title_full Formal language theory and DNA
title_fullStr Formal language theory and DNA
title_full_unstemmed Formal language theory and DNA
title_sort formal language theory and dna
publishDate 2004
url http://eprints.utm.my/id/eprint/8006/1/NorMuhainiahMohdAliMFS2004.pdf
http://eprints.utm.my/id/eprint/8006/
http://dms.library.utm.my:8080/vital/access/manager/Repository/vital:11537
_version_ 1643644900540940288
score 13.211869