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:	Q Science (General) QA Mathematics
Online Access:	http://eprints.utm.my/id/eprint/8006/1/NorMuhainiahMohdAliMFS2004.pdf
Tags:	Add Tag No Tags, Be the first to tag this record!

id	my-utm-ep.8006
record_format	uketd_dc
spelling	my-utm-ep.80062018-09-19T05:07:15Z Formal language theory and DNA 2004-10 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 http://eprints.utm.my/id/eprint/8006/ http://eprints.utm.my/id/eprint/8006/1/NorMuhainiahMohdAliMFS2004.pdf application/pdf en public http://dms.library.utm.my:8080/vital/access/manager/Repository/vital:11537 masters Universiti Teknologi Malaysia, Faculty of Science Faculty of Science
institution	Universiti Teknologi Malaysia
collection	UTM Institutional Repository
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
qualification_level	Master's degree
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
granting_institution	Universiti Teknologi Malaysia, Faculty of Science
granting_department	Faculty of Science
publishDate	2004
url	http://eprints.utm.my/id/eprint/8006/1/NorMuhainiahMohdAliMFS2004.pdf
_version_	1747814720166952960

Formal language theory and DNA

Similar Items