scholarly journals Computation of Splicing Languages from DNA Splicing System Based on Sequences of Restriction Enzymes

2019 ◽  
Vol 8 (6S3) ◽  
pp. 31-42
Keyword(s):  
Restriction Enzyme ◽  
Dna Computing ◽  
Restriction Enzymes ◽  
Visual Programming ◽  
Cleavage Pattern ◽  
Dna Molecules ◽  
Splicing Systems ◽  
Dna Splicing

In DNA splicing systems, restriction enzymes and ligases cleave and recombine DNA molecules based on the cleavage pattern of the restriction enzymes. The set of molecules resulting from the splicing system depicts a splicing language. In this research, an algorithm for DNA splicing systems is developed using C++ visual programming. The splicing languages which have been characterised through some theorems based on the crossings and sequences of the restriction enzymes, are generated as the output from this computation. In order to generate the splicing languages, the algorithm detects and calculates the number of cutting sites of the restriction enzymes found in the initial molecules, determines whether the sequence of restriction enzyme is a palindrome or not, and if the restriction enzymes have the same or different crossings. The results from this research depict the splicing languages obtained from the manual computations, which contributes to the development of computational software in DNA computing.

scholarly journals Generalisations of Splicing Languages in DNA Splicing Systems Involving Two Palindromic Restriction Enzymes

2021 ◽  
Vol 17 (2) ◽  
pp. 128-138
Author(s):  
Wan Heng Fong ◽  
Nurul Izzaty Ismail ◽  
Nor Haniza Sarmin
Keyword(s):  
Restriction Enzyme ◽  
Dna Computing ◽  
Formal Language ◽  
Restriction Enzymes ◽  
Language Theory ◽  
Dna Molecules ◽  
Induction Method ◽  
Different Types ◽  
Splicing Systems ◽  
Dna Splicing

DNA splicing system is initiated by Head to mathematically model a relation between formal language theory and DNA molecules. In DNA splicing systems, DNA molecules are cut and recombined in specific ways with the existence of enzymes, which are also known as endonucleases, to produce further molecules. The resulting molecules are depicted as splicing languages by using concepts in formal languages theory. A sequence of restriction enzyme that reads the same forward and backward is called as a palindromic rule. Previously, researches on different types of splicing languages have been done. In this research, generalisations of splicing languages resulting from DNA splicing systems with non-overlapping cutting sites of two palindromic restriction enzymes are presented as theorems using the induction method. The results from this research are beneficial for researchers in the field of DNA computing since it contributes to the development of splicing languages generated from DNA splicing systems with different palindromic restriction enzymes by using these generalisations.

scholarly journals Computation of splicing languages from DNA splicing system with one palindromic restriction enzyme

2018 ◽  
Vol 14 (2) ◽  
pp. 188-192
Author(s):  
Nurul Izzaty Ismail ◽  
Wan Heng Fong ◽  
Nor Haniza Sarmin
Keyword(s):  
User Interface ◽  
Graphical User Interface ◽  
Restriction Enzyme ◽  
Restriction Enzymes ◽  
In Vitro Experiments ◽  
Dna Molecules ◽  
C Programming ◽  
Splicing Systems ◽  
Dna Splicing

In DNA splicing system, the potential effects of sets of restriction enzymes and a ligase that allow DNA molecules to be cleaved and reassociated to produce further molecules are studied.  A splicing language depicts the molecules resulting from a splicing system.  In this research, a C++ programming code for DNA splicing system with one palindromic restriction enzyme for one and two (non-overlapping) cutting sites is developed.  A graphical user interface, GUI is then designed to allow the user to insert the initial DNA string and restriction enzymes to generate the splicing languages which are the result of the computation of the C++ programming.  This interface displays the resulting splicing languages, which depict the results from in vitro experiments of the respective splicing system.  The results from this research simplify the lenghty manual computation of the resulting splicing languages of DNA splicing systems with one palindromic restriction enzyme.   

scholarly journals DNA Splicing Systems with at Most Two Cutting Sites of a Non-Palindromic Restriction Enzyme

MATEMATIKA ◽  
2019 ◽  
Vol 35 (2) ◽  
pp. 129-137
Author(s):  
Nurul Izzaty Ismail ◽  
Fong Wan Heng ◽  
Nor Haniza Sarmin
Keyword(s):  
Restriction Enzyme ◽  
Restriction Enzymes ◽  
Dna Molecules ◽  
Dna Molecule ◽  
Splicing Systems ◽  
Palindromic Sequences ◽  
Dna Splicing

The modelling of splicing systems is simulated by the process of cleaving and recombining DNA molecules with the presence of a ligase and restriction enzymes which are biologically called as endodeoxyribonucleases.  The molecules resulting from DNA splicing systems are known as splicing languages. Palindrome is a sequence of strings that reads the same forward and backward.  Research on generalisations of splicing languages in DNA splicing system involving palindromic sequences for restriction enzymes has been done previously. In this research, the splicing languages resulting from DNA splicing systems with one non-palindromic restriction enzyme are determined using the notation from Head splicing system.  The generalisations of splicing languages for DNA splicing systems involving one and two non-overlapping cutting sites of one non-palindromic restriction enzyme are presented in the first and second theorems, respectively, which are proved using direct and induction methods.  The result from the first theorem shows a trivial string which is the initial DNA molecule; while the second theorem determines a splicing language consisting of a set of resulting DNA molecules from the respective DNA splicing system.

scholarly journals Automata for DNA Splicing Languages with Palindromic and Non-Palindromic Restriction Enzymes using Grammars

MATEMATIKA ◽  
2019 ◽  
Vol 35 (4) ◽  
pp. 1-14
Author(s):  
Wan Heng Fong ◽  
Nurul Izzaty Ismail ◽  
Nor Haniza Sarmin
Keyword(s):  
Dna Sequences ◽  
Formal Language ◽  
Restriction Enzymes ◽  
Language Theory ◽  
Dna Assembly ◽  
Dna Molecules ◽  
Splicing Systems ◽  
Transition Graphs ◽  
Palindromic Sequences ◽  
Dna Splicing

In DNA splicing system, DNA molecules are cut and recombined with the presence of restriction enzymes and a ligase. The splicing system is analyzed via formal language theory where the molecules resulting from the splicing system generate a language which is called a splicing language. In nature, DNA molecules can be read in two ways; forward and backward. A sequence of string that reads the same forward and backward is known as a palindrome. Palindromic and non-palindromic sequences can also be recognized in restriction enzymes. Research on splicing languages from DNA splicing systems with palindromic and non-palindromic restriction enzymes have been done previously. This research is motivated by the problem of DNA assembly to read millions of long DNA sequences where the concepts of automata and grammars are applied in DNA splicing systems to simplify the assembly in short-read sequences. The splicing languages generated from DNA splicing systems with palindromic and nonpalindromic restriction enzymes are deduced from the grammars which are visualised as automata diagrams, and presented by transition graphs where transition labels represent the language of DNA molecules resulting from the respective DNA splicing systems.

scholarly journals Generalisations of DNA Splicing Systems with One Palindromic Restriction Enzyme

MATEMATIKA ◽  
2018 ◽  
Vol 34 (1) ◽  
pp. 59-71 ◽  
Author(s):  
Fong Wan Heng ◽  
Nurul Izzaty Ismail
Keyword(s):  
Restriction Enzyme ◽  
Formal Language ◽  
Restriction Enzymes ◽  
Potential Effect ◽  
Language Theory ◽  
Regular Expressions ◽  
Nitrogen Bases ◽  
Restriction Sites ◽  
Splicing Systems ◽  
Dna Splicing

In DNA splicing system, the potential effect of sets of restriction enzymes and a ligase that allow DNA molecules to be cleaved and re-associated to produce further molecules is modelled mathematically.  This modelling is done in the framework of formal language theory, in which the nitrogen bases, nucleotides and restriction sites are modelled as alphabets, strings and rules respectively.  The molecules resulting from a splicing system is depicted as the splicing language.  In this research, the splicing language resulting from DNA splicing systems with one palindromic restriction enzyme for one and two (non-overlapping) cutting sites are generalised as regular expressions.

scholarly journals Mathematical Modelling of Some Null-Context and Uniform Splicing Systems

2014 ◽  
Vol 7 (2) ◽  
Author(s):  
S. J. Lim ◽  
W. H. Fong ◽  
N. H. Sarmin ◽  
F. Karimi
Keyword(s):  
Mathematical Modelling ◽  
Restriction Enzymes ◽  
Automata Theory ◽  
Dna Molecules ◽  
Specific Chemical ◽  
Language L ◽  
Different Types ◽  
Chemical Conditions ◽  
Splicing Systems

The mathematical modelling of splicing system which involves recombination of DNA molecules was first introduced by Head in 1987. Splicing of DNA involves cutting of DNA molecules using the restriction enzymes and re-associating different fragments of DNA molecules using the ligase under some specific chemical conditions. A splicing language, L is generated if there exists a splicing system S for which L = L(S). There are different types of splicing systems which have been discussed by various researchers. Among them are the persistent splicing system, null-context and uniform splicing system. In this paper, some molecular examples on null-context splicing system and uniform splicing systems with different initial strings and combination of restriction enzymes will be discussed. Applications of automata theory on some molecular examples of null-context and uniform splicing languages will also be presented in this paper.

scholarly journals On Special forms of Splicing on Arrays and Graphs

Triangle ◽  
2018 ◽  
pp. 119
Author(s):  
K. G. Subramanian ◽  
A. Roslin Sagaya Mary ◽  
P. Helen Chandra
Keyword(s):  
Dna Computing ◽  
Formal Language ◽  
Restriction Enzymes ◽  
Great Depth ◽  
Formal Language Theory ◽  
Language Theory ◽  
Dna Molecules ◽  
Higher Dimensional ◽  
Theoretical Results ◽  
Theory Extension

Tom Head (1987), in his pioneering work on formal language theory applied to DNA computing, introduced a new operation of splicing on strings, while proposing a model of certain recombination behaviour of DNA molecules under the action of restriction enzymes and ligases. Since then this operation has been studied in great depth giving rise to a number of theoretical results of great interest in formal language theory. Extension of this operation of splicing to higher dimensional structures such as circular words, arrays, trees and graphs have been proposed in the literature. Here we examine the effect of certain specific forms of the splicing operation applied to arrays and graphs.

scholarly journals Recognition of Simple Splicing Systems using SHAutomaton

2014 ◽  
Vol 4 (2) ◽  
Author(s):  
Fong Wan Heng ◽  
Nor Haniza Sarmin ◽  
Zuwairie Ibrahim
Keyword(s):  
Mathematical Model ◽  
Regular Expression ◽  
Restriction Enzymes ◽  
Automata Theory ◽  
Dna Molecules ◽  
Deterministic Automaton ◽  
Splicing Systems ◽  
The Mathematical Model ◽  
The Given ◽  
Special Case

Splicing language is the language which results from a splicing system. Splicing system was first introduced by Tom Head in 1987 as the mathematical model of systems of restriction enzymes acting on initial DNA molecules. Splicing languages are closely related to automata theory. Simple splicing systems can be recognized by SH-automata diagrams due to the regularity of splicing languages. SH-automaton defines exactly one language which is the language generated by the simple splicing system. In this paper, the concept of firm and maximal firm subwords are introduced. Some examples are then given to illustrate the maximal firm subwords of a word in a simple splicing system. Taking the SH-automata concept, which is a short compact way of encoding normal non-deterministicautomata in the special case of SH systems, the maximal firm subwords of the initial words of an SH systems serve as the labels for the associated  SH-automaton. Some examples which will show the maximal firm subwords of the words in the initial set I, the regular expression for the language generated by the given splicing system and the simplest non-deterministic automaton that recognizes the corresponding splicing system are also given

scholarly journals Creative DNA Computing: Splicing Systems for Music Composition

2021 ◽  
Author(s):  
Rocco Zaccagnino ◽  
Roberto De Prisco
Keyword(s):  
Music Composition ◽  
Dna Computing ◽  
Recombination Process ◽  
Human Beings ◽  
Dna Molecules ◽  
Splicing Systems ◽  
Automatic Music Composition ◽  
System Approaches

Abstract Splicing systems are a form of DNA computing as they mimic the recombination process among DNA molecules. This work discusses the use of splicing systems to build automatic tools for reproducing human beings' creativity, in the context of automatic music composition. More specifically, this work describes three general splicing system approaches for automatic music composition, and their application to two specific cases, namely composing 4-voice music and composing Jazz solos in a given style. Examples of music composed by the systems are presented.

Sign in / Sign up

Export Citation Format

Share Document