Title :
Splicing system and sofic shift
Author_Institution :
Dept. of Electr., Gifu Univ., Gifu, Japan
Abstract :
Splicing systems are mathematical models that are used for sets of DNA sequences generated through repeated chemical reactions of DNA sequences, which were introduced by Head in 1987 [4]. Although a splicing system specifies a regular language, it is known that all regular languages cannot be generated by a splicing system. Symbolic dynamical systems are sets of infinite sequences that are closely related to formal languages. In this manuscript, several characterizations of the splicing system are given using the theory of symbolic dynamical systems.
Keywords :
biocomputing; formal languages; DNA sequences; chemical reactions; formal languages; infinite sequences; mathematical models; regular language; sofic shift; splicing system; symbolic dynamical systems; DNA; DNA computing; Formal languages; Information processing; Labeling; Splicing; Turbo codes; DNA; DNA computing; Splicing systems; sofic shift; symbolic dynamics;
Conference_Titel :
Turbo Codes and Iterative Information Processing (ISTC), 2014 8th International Symposium on
Conference_Location :
Bremen
DOI :
10.1109/ISTC.2014.6955105
