Abstract
This paper introduces conjugate word blending as a formal model of molecular processes that occur during a DNA experimental protocol called cross-pairing Polymerase Chain Reaction (XPCR). We analyze this formal word and language operation from a computational viewpoint, by investigating closure properties of four Chomsky language families under it. We also report the molecular biology wet lab experiments based on XPCR amplification of gene sequences, which led to the notion of conjugate word blending.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Notes
The length of a DNA double strand is measured in basepairs (bp), whereby 1 bp is a unit consisting of one base on a DNA strand together with its corresponding complementary base on the opposite strand.
The opposite process, that of a DNA double strand breaking apart into its constituent single strands, is called melting or denaturation (achieved by increasing the temperature).
A chimeric sequence is a sequence formed from the prefix of one sequence and the suffix of another sequence joined together.
\(\alpha\) = 5\(^\prime\)-TTCTACAAGGAGGATATTACC-3\(^\prime\), \(\overline{\beta }\) = 5\(^\prime\)-TATGGAGATGTACCTGATATC-3\(^\prime\), \(\gamma\) = 5\(^\prime\)-ATATTGGAGGAGGTATACAAC-3\(^\prime\), \(\overline{\gamma }\) = 5\(^\prime\)-GTTGTATACCTCCTCCAATAT-3\(^\prime\).
References
Amos M (2005) Theoretical and experimental DNA computation. Springer, Berlin. https://doi.org/10.1007/3-540-28131-2
Bellamoli F (2013) Production of Gene Libraries by Multiple XPCR. Master’s thesis, University of Verona, Department of Biotechnology, Italy, https://doi.org/10.13140/RG.2.2.34146.96968
Bonizzoni P, De Felice C, Zizza R (2005) The structure of reflexive regular splicing languages via Schützenberger constants. Theoret Comput Sci 334(1–3):71–98. https://doi.org/10.1016/j.tcs.2004.12.033
Brzozowski JA, Kari L, Li B, Szykuła M (2018) State complexity of overlap assembly. In: Câmpeanu C (ed) Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Springer, Lecture Notes in Computer Science, vol 10977, pp 109–120, https://doi.org/10.1007/978-3-319-94812-6_10
Carausu A, Păun G (1981) String intersection and short concatenation. Revue Roumaine de Mathématiques Pures et Appliquées 26(5):713–726
Ceterchi R (2006) An algebraic characterization of semi-simple splicing. Fundam Inform 73(1–2):19–25
Csuhaj-Varjú E, Petre I, Vaszil G (2007) Self-assembly of strings and languages. Theoret Comput Sci 374(1–3):74–81. https://doi.org/10.1016/j.tcs.2006.12.004
Di Gregorio S, Zocca C, Sidler S, Toffanin A, Lizzari D, Vallini G (2004) Identification of two new sets of genes for dibenzothiophene transformation in Burkholderia sp. DBT1. Biodegradation 15:111–123. https://doi.org/10.1023/B:BIOD.0000015624.52954.b6
Domaratzki M (2009) Minimality in template-guided recombination. Inf Comput 207(11):1209–1220. https://doi.org/10.1016/j.ic.2009.02.009
Enaganti SK, Ibarra OH, Kari L, Kopecki S (2017a) Further remarks on DNA overlap assembly. Inf Comput 253:143–154. https://doi.org/10.1016/j.ic.2017.01.009
Enaganti SK, Ibarra OH, Kari L, Kopecki S (2017b) On the overlap assembly of strings and languages. Nat Comput 16:175–185. https://doi.org/10.1007/s11047-015-9538-x
Enaganti SK, Kari L, Ng T, Wang Z (2020) Word blending in formal languages. Fundam Inform 171(1–4):151–173. https://doi.org/10.3233/FI-2020-1877
Franco G (2005) A polymerase based algorithm for SAT. In: Coppo M, Lodi E, Pinna GM (eds) Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Springer, Lecture Notes in Computer Science, vol 3701, pp 237–250, https://doi.org/10.1007/11560586_20
Franco G, Manca V (2011) Algorithmic applications of XPCR. Nat Comput 10(2):805–819. https://doi.org/10.1007/s11047-010-9199-8
Franco G, Giagulli C, Laudanna C, Manca V (2005) DNA extraction by XPCR. In: Ferretti C, Mauri G, Zandron C (eds) DNA Computing, 10th International Workshop on DNA Computing, DNA 10, Springer, Lecture Notes in Computer Science, vol 3384, pp 104–112, https://doi.org/10.1007/11493785_9
Franco G, Manca V, Giagulli C, Laudanna C (2006) DNA recombination by XPCR. In: Carbone A, Pierce NA (eds) DNA Computing, 11th International Workshop on DNA Computing, DNA 11, Springer, Lecture Notes in Computer Science, vol 3892, pp 55–66, https://doi.org/10.1007/11753681_5
Franco G, Bellamoli F, Lampis S (2017) Experimental analysis of XPCR-based protocols. arXiv preprint arXiv:171205182
Golan JS (1992) The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science, Pitman Monographs and Surveys in Pure and Applied Mathematics, vol 54. Longman Scientific & Technical
Goode E, Pixton D (2007) Recognizing splicing languages: syntactic monoids and simultaneous pumping. Discret Appl Math 155(8):989–1006. https://doi.org/10.1016/j.dam.2006.10.006
Head T (1987) Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull Math Biol 49:737–759. https://doi.org/10.1007/BF02481771
Holzer M, Jakobi S (2011) Chop operations and expressions: Descriptional complexity considerations. In: Mauri G, Leporati A (eds) Developments in Language Theory - 15th International Conference, DLT 2011, Springer, Lecture Notes in Computer Science, vol 6795, pp 264–275, https://doi.org/10.1007/978-3-642-22321-1_23
Holzer M, Jakobi S (2012) State complexity of chop operations on unary and finite languages. In: Kutrib M, Moreira N, Reis R (eds) Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Springer, Lecture Notes in Computer Science, vol 7386, pp 169–182, https://doi.org/10.1007/978-3-642-31623-4_13
Holzer M, Jakobi S, Kutrib M (2017) The chop of languages. Theoret Comput Sci 682:122–137. https://doi.org/10.1016/j.tcs.2017.02.002
Hommelsheim CM, Frantzeskakis L, Huang M, Ülker B (2015) PCR amplification of repetitive DNA: a limitation to genome editing technologies and many other applications. Sci Rep 4(5052):1–13. https://doi.org/10.1038/srep05052
Ignatova Z, Martínez-Pérez I, Zimmermann KH (2008) DNA computing models. Springer, Berlin. https://doi.org/10.1007/978-0-387-73637-2
Ito M, Lischke G (2007) Generalized periodicity and primitivity for words. Math Logic Q 53(1):91–106. https://doi.org/10.1002/malq.200610030
Kalle E, Kubista M, Rensing C (2014) Multi-template polymerase chain reaction. Biomol Detect Quantif 2:11–29. https://doi.org/10.1016/j.bdq.2014.11.002
Kanagawa T (2003) Bias and artifacts in multitemplate polymerase chain reactions (PCR). J Biosci Bioeng 96(4):317–323. https://doi.org/10.1016/S1389-1723(03)90130-7
Kari L (1991) On insertion and deletion in formal languages. PhD thesis, University of Turku
Kari L, Seki S, Sosík P (2012) DNA computing–foundations and implications. In: Rozenberg G, Bäck T, Kok JN (eds) Handbook of Natural Computing, Springer, pp 1073–1127, https://doi.org/10.1007/978-3-540-92910-9_33
Manca V, Franco G (2008) Computing by polymerase chain reaction. Math Biosci 211(2):282–298. https://doi.org/10.1016/j.mbs.2007.08.010
Păun G, Rozenberg G, Salomaa A (1998) DNA computing: new computing paradigms. Springer. https://doi.org/10.1007/978-3-662-03563-4
Pixton D (2000) Splicing in abstract families of languages. Theoret Comput Sci 234(1–2):135–166. https://doi.org/10.1016/S0304-3975(98)00046-2
Păun G (1996) On the splicing operation. Discret Appl Math 70(1):57–79. https://doi.org/10.1016/0166-218X(96)00101-1
Rozenberg G, Salomaa A (eds) (1997) Handbook of formal languages, Vol. 1: Word, Language, Grammar. Springer, https://doi.org/10.1007/978-3-642-59136-5
Salomaa A (1973) Formal languages. Academic Press Inc, Cambridge
Author information
Authors and Affiliations
Corresponding authors
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This research was partially supported by NSERC (Natural Sciences and Engineering Research Council of Canada) Discovery Grant R2824A01 and Univ. of Waterloo Transition Grant to L.K., and by FUR (Single Fund for Research), Italian Ministry of Education, Universities, and Research (MIUR) to G.F.
Rights and permissions
About this article
Cite this article
Bellamoli, F., Franco, G., Kari, L. et al. Conjugate word blending: formal model and experimental implementation by XPCR. Nat Comput 20, 647–658 (2021). https://doi.org/10.1007/s11047-021-09867-x
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-021-09867-x
Keywords
- Conjugate word blending
- Cross-pairing Polymerase Chain Reaction (XPCR)
- DNA computing
- Gene assembly
- Formal language operations
- Molecular computing
- Word blending
- Word operations