Abstract: The study of the generative power of the DNA splicing system model has been pursued by theoretical computer scientists, biochemists, mathematicians, and linguistics researchers since its inception in 1987 by Tom Head. Most theoretical computer scientists have focused on the generative power of the model under certain generalizations. Goode et.al., have focused on models that are true to the biology. This has impacted notation restrictions used by Goode and her co-authors.
The Pixton-Goode model of limit languages in splicing is intended to address the dynamical behavior ofthese biochemical computations. The main point of interest are that new DNA strands are generated during the splicing reaction, and these strands then may or may not persist at equilibrium. Such equilibrium outcomes, while probabilistic in nature, have purely theoretical characterizations that are encoded by a new notation developed by Goode with Yuhani Yusaf from Universiti Teknologi Malaysia. Finally, one novelty that sets Goode’s work apart from that of most researchers interested in splicing is that her work includes wet splicing at the bench.