Mathematical modelling of splicing systems on DNA molecules
Splicing system was originally developed by Tom Head in 1987 as the generative capacity of systems of restriction enzymes acting on DNA molecules. Splicing system can be modelled mathematically. The language which results from a splicing system is called a splicing language. This language can furthe...
| Main Authors: | , , , , , |
|---|---|
| Format: | Monograph |
| Published: |
Faculty of Science
2008
|
| Online Access: | http://eprints.utm.my/9077/ |
| _version_ | 1848891806044913664 |
|---|---|
| author | Sarmin, Nor Haniza Abdul Rashid, Noor Aini Ibrahim, Zuwairie Fong , Wan Heng Abdul Wahab, Mohd. Firdaus Lim, Deborah Shin Fei |
| author_facet | Sarmin, Nor Haniza Abdul Rashid, Noor Aini Ibrahim, Zuwairie Fong , Wan Heng Abdul Wahab, Mohd. Firdaus Lim, Deborah Shin Fei |
| author_sort | Sarmin, Nor Haniza |
| building | UTeM Institutional Repository |
| collection | Online Access |
| description | Splicing system was originally developed by Tom Head in 1987 as the generative capacity of systems of restriction enzymes acting on DNA molecules. Splicing system can be modelled mathematically. The language which results from a splicing system is called a splicing language. This language can further be analyzed using concepts in formal language theory, which is a branch of theoretical computer science and applied discrete mathematics. A splicing language contains the initial strings of DNA molecules and is closed under the application of splicing rules. Among the different types of splicing languages is the strictly locally testable language. In this thesis, some examples of not strictly locally testable language are given and some theorems concerning different combination of restriction enzymes in a strictly locally testable language are stated with the proofs. This thesis also discusses simple splicing system, which includes several new theorems regarding the concepts of factors, constants and prime constants of a language, and also some facts on solid codes. Some examples on maximal firm subwords and the automaton that recognize a splicing system are also included and discussed. Lastly, the wet-lab experiment that has been done to verify the mathematical model and to show the difference between the adult and limit language are presented. This experiment has successfully tested the hypothesis that a particular splicing system will converge to a fixed set of strings. |
| first_indexed | 2025-11-15T21:03:49Z |
| format | Monograph |
| id | utm-9077 |
| institution | Universiti Teknologi Malaysia |
| institution_category | Local University |
| last_indexed | 2025-11-15T21:03:49Z |
| publishDate | 2008 |
| publisher | Faculty of Science |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | utm-90772017-09-02T04:18:03Z http://eprints.utm.my/9077/ Mathematical modelling of splicing systems on DNA molecules Sarmin, Nor Haniza Abdul Rashid, Noor Aini Ibrahim, Zuwairie Fong , Wan Heng Abdul Wahab, Mohd. Firdaus Lim, Deborah Shin Fei Splicing system was originally developed by Tom Head in 1987 as the generative capacity of systems of restriction enzymes acting on DNA molecules. Splicing system can be modelled mathematically. The language which results from a splicing system is called a splicing language. This language can further be analyzed using concepts in formal language theory, which is a branch of theoretical computer science and applied discrete mathematics. A splicing language contains the initial strings of DNA molecules and is closed under the application of splicing rules. Among the different types of splicing languages is the strictly locally testable language. In this thesis, some examples of not strictly locally testable language are given and some theorems concerning different combination of restriction enzymes in a strictly locally testable language are stated with the proofs. This thesis also discusses simple splicing system, which includes several new theorems regarding the concepts of factors, constants and prime constants of a language, and also some facts on solid codes. Some examples on maximal firm subwords and the automaton that recognize a splicing system are also included and discussed. Lastly, the wet-lab experiment that has been done to verify the mathematical model and to show the difference between the adult and limit language are presented. This experiment has successfully tested the hypothesis that a particular splicing system will converge to a fixed set of strings. Faculty of Science 2008-11-30 Monograph NonPeerReviewed Sarmin, Nor Haniza and Abdul Rashid, Noor Aini and Ibrahim, Zuwairie and Fong , Wan Heng and Abdul Wahab, Mohd. Firdaus and Lim, Deborah Shin Fei (2008) Mathematical modelling of splicing systems on DNA molecules. Project Report. Faculty of Science, Skudai, Johor. (Unpublished) https://www.researchgate.net/publication/236901033_Mathematical_Modelling_of_Splicing_Systems |
| spellingShingle | Sarmin, Nor Haniza Abdul Rashid, Noor Aini Ibrahim, Zuwairie Fong , Wan Heng Abdul Wahab, Mohd. Firdaus Lim, Deborah Shin Fei Mathematical modelling of splicing systems on DNA molecules |
| title | Mathematical modelling of splicing systems on DNA molecules |
| title_full | Mathematical modelling of splicing systems on DNA molecules |
| title_fullStr | Mathematical modelling of splicing systems on DNA molecules |
| title_full_unstemmed | Mathematical modelling of splicing systems on DNA molecules |
| title_short | Mathematical modelling of splicing systems on DNA molecules |
| title_sort | mathematical modelling of splicing systems on dna molecules |
| url | http://eprints.utm.my/9077/ http://eprints.utm.my/9077/ |