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 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 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 Static Watson-Crick regular grammar

2018 ◽  
Vol 14 ◽  
pp. 457-462
Author(s):  
Aqilahfarhana Abdul Rahman ◽  
Wan Heng Fong ◽  
Nor Haniza Sarmin ◽  
Sherzod Turaev ◽  
Nurul Liyana Mohamad Zulkufli
Keyword(s):  
Dna Computing ◽  
Formal Language ◽  
Computational Models ◽  
Formal Language Theory ◽  
Language Theory ◽  
Chomsky Hierarchy ◽  
New Variant ◽  
Sticker System ◽  
Dna Strands ◽  
Regular Grammar

DNA computing, or more generally, molecular computing, is a recent development at the interface of computer science and molecular biology. In DNA computing, many computational models have been proposed in the framework of formal language theory and automata such as Watson-Crick grammars and sticker systems. A Watson-Crick grammar is a grammar model that generates double stranded strings, whereas a sticker system is a DNA computing model of the ligation and annealing operations over DNA strands using the Watson-Crick complementarity to form a complete double stranded DNA sequence. Most of the proposed DNA computing models make use of this concept, including the Watson-Crick grammars and sticker systems. Watson-Crick grammars and their variants can be explored using formal language theory which allows the development of new concepts of Watson-Crick grammars.  In this research, a new variant of Watson-Crick grammar called a static Watson-Crick regular grammar is introduced as an analytical counterpart of sticker systems. The computation of a sticker system starts from a given set of incomplete double stranded sequence to form a complete double stranded sequence. Here, a static Watson-Crick regular grammar differs from a dynamic Watson-Crick regular grammar in generating double stranded strings: the latter grammar produces each strand string “independently” and only check for the Watson-Crick complementarity of a generated complete double stranded string at the end, while the former grammar generates both strand strings “dependently”, i.e., checking for the Watson-Crick complementarity for each complete substring. In this paper, computational properties of static Watson-Crick regular grammars are investigated to correlate with the Chomsky hierarchy and hierarchy of the families of dynamic Watson-Crick regular languages. The relationship between families of languages generated by static Watson-Crick regular grammars with several variants of sticker systems, Watson-Crick regular grammars and Chomsky grammars are presented by showing the hierarchy.

THE DEVELOPMENT OF FORMAL LANGUAGE THEORY SINCE 1956

1990 ◽  
Vol 01 (04) ◽  
pp. 355-368
Author(s):  
ROBERT McNAUGHTON
Keyword(s):  
Formal Language ◽  
Formal Languages ◽  
Early Years ◽  
Formal Language Theory ◽  
Language Theory ◽  
Personal Interest

This brief survey will discuss the early years of the theory of formal languages through about 1970, treating only the most fundamental of the concepts. The paper will conclude with a brief discussion of a small number of topics, the choice reflecting only the personal interest of the author.

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.

Sign in / Sign up

Export Citation Format

Share Document