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....
Saved in:
Main Author: | |
---|---|
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 |