{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:46:52Z","timestamp":1765234012409,"version":"3.46.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:00:00Z","timestamp":1755907200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:00:00Z","timestamp":1755907200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["NRF-2022R1G1A1013287","NRF-2022R1G1A1013287"],"award-info":[{"award-number":["NRF-2022R1G1A1013287","NRF-2022R1G1A1013287"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["23K10976","20K11672"],"award-info":[{"award-number":["23K10976","20K11672"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["437493335"],"award-info":[{"award-number":["437493335"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11047-025-10051-8","type":"journal-article","created":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T13:06:30Z","timestamp":1755954390000},"page":"991-1009","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A formalization of co-transcriptional splicing as an operation on formal languages"],"prefix":"10.1007","volume":"24","author":[{"given":"Da-Jung","family":"Cho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Szil\u00e1rd Zsolt","family":"Fazekas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinnosuke","family":"Seki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Wiedenh\u00f6ft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,23]]},"reference":[{"key":"10051_CR1","doi-asserted-by":"crossref","unstructured":"Cho D-J, Fazekas SZ, Seki S, Wiedenh\u00f6ft M (2025) A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages. arXiv:2504.13354","DOI":"10.1007\/s11047-025-10051-8"},{"key":"10051_CR2","doi-asserted-by":"crossref","unstructured":"Cho D-J, Han Y-S, Kim H, Salomaa K (2018) Site-directed deletion. In: Proceedings of the 22nd International Conference on Developments in Langauge Theory (DLT 2018). LNCS, vol. 11088, pp. 219\u2013230. Springer","DOI":"10.1007\/978-3-319-98654-8_18"},{"issue":"1","key":"10051_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0304-3975(03)00139-7","volume":"306","author":"M Daley","year":"2003","unstructured":"Daley M, Ibarra OH, Kari L (2003) Closure and decidability properties of some language classes with respect to ciliate bio-operations. Theoret Comput Sci 306(1):19\u201338","journal-title":"Theoret Comput Sci"},{"issue":"3","key":"10051_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/j.tcs.2004.01.002","volume":"314","author":"M Domaratzki","year":"2004","unstructured":"Domaratzki M, Okhotin A (2004) Representing recursively enumerable languages by iterated deletion. Theoret Comput Sci 314(3):451\u2013457. https:\/\/doi.org\/10.1016\/j.tcs.2004.01.002","journal-title":"Theoret Comput Sci"},{"key":"10051_CR5","doi-asserted-by":"publisher","first-page":"9373","DOI":"10.1073\/pnas.83.24.9373","volume":"83","author":"SM Freier","year":"1986","unstructured":"Freier SM, Kierzek R, Jaeger JA, Sugimoto N, Caruthers MH, Neilson T, Turner DH (1986) Improved free-energy parameters for predictions of RNA duplex stability. Proceedings of the National Academy of Science of the United States of America 83:9373\u20139377","journal-title":"Proceedings of the National Academy of Science of the United States of America"},{"issue":"6198","key":"10051_CR6","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1126\/science.1253920","volume":"345","author":"C Geary","year":"2014","unstructured":"Geary C, Rothemund PW, Andersen ES (2014) A single-stranded architecture for cotranscriptional folding of RNA nanostructures. Science 345(6198):799\u2013804","journal-title":"Science"},{"issue":"9","key":"10051_CR7","doi-asserted-by":"publisher","first-page":"2259","DOI":"10.3390\/ijms20092259","volume":"20","author":"C Geary","year":"2019","unstructured":"Geary C, Meunier P\u00c9, Schabanel N, Seki S (2019) Oritatami: a computational model for molecular co-transcriptional folding. Int J Mol Sci 20(9):2259","journal-title":"Int J Mol Sci"},{"issue":"1","key":"10051_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41540-022-00264-3","volume":"9","author":"T Horn","year":"2023","unstructured":"Horn T, Gosliga A, Li C, Enculescu M, Legewie S (2023) Position-dependent effects of RNA-binding proteins in the context of co-transcriptional splicing. npj Systems Biology and Applications 9(1):1","journal-title":"npj Systems Biology and Applications"},{"issue":"1","key":"10051_CR9","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/322047.322058","volume":"25","author":"OH Ibarra","year":"1978","unstructured":"Ibarra OH (1978) Reversal-bounded multicounter machines and their decision problems. J ACM 25(1):116\u2013133","journal-title":"J ACM"},{"issue":"4","key":"10051_CR10","first-page":"479","volume":"21","author":"L Kari","year":"1995","unstructured":"Kari L, Thierrin G (1995) K-insertion and K-deletion closure of languages. Soochow J Math 21(4):479\u2013495","journal-title":"Soochow J Math"},{"issue":"1","key":"10051_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1006\/inco.1996.0091","volume":"131","author":"L Kari","year":"1996","unstructured":"Kari L, Thierrin G (1996) Contextual insertions\/deletions and computability. Inf Comput 131(1):47\u201361","journal-title":"Inf Comput"},{"key":"10051_CR12","doi-asserted-by":"crossref","unstructured":"Kari L, Losseva E, Konstantinidis S, Sosik P, Thierrin G (2006) A formal language analysis of DNA hairpin structures. Fund Inform 71:453\u2013475","DOI":"10.3233\/FUN-2006-71405"},{"key":"10051_CR13","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/BFb0025726","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H-J Kreowski","year":"1979","unstructured":"Kreowski H-J (1979) A pumping lemma for context-free graph languages. In: Claus V, Ehrig H, Rozenberg G (eds) Graph-Grammars and Their Application to Computer Science and Biology. Springer, Berlin, Heidelberg, pp 270\u2013283"},{"key":"10051_CR14","doi-asserted-by":"crossref","unstructured":"Merkhofer EC, Hu P, Johnson TL (2014) In: Hertel, KJ (ed.) Introduction to Cotranscriptional RNA Splicing, pp. 83\u201396. Humana Press, Totowa, NJ","DOI":"10.1007\/978-1-62703-980-2_6"},{"issue":"2","key":"10051_CR15","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(92)00074-2","volume":"125","author":"M Middendorf","year":"1994","unstructured":"Middendorf M (1994) More on the complexity of common superstring and supersequence problems. Theoret Comput Sci 125(2):205\u2013228","journal-title":"Theoret Comput Sci"},{"issue":"1","key":"10051_CR16","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1038\/s42003-022-03224-z","volume":"5","author":"E S\u00e1nchez-Escabias","year":"2022","unstructured":"S\u00e1nchez-Escabias E, Guerrero-Mart\u00ednez JA, Reyes JC (2022) Co-transcriptional splicing efficiency is a gene-specific feature that can be regulated by TGF$$\\beta $$. Communications Biology 5(1):277","journal-title":"Communications Biology"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-025-10051-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11047-025-10051-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-025-10051-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T18:44:03Z","timestamp":1765219443000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11047-025-10051-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,23]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["10051"],"URL":"https:\/\/doi.org\/10.1007\/s11047-025-10051-8","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"type":"print","value":"1567-7818"},{"type":"electronic","value":"1572-9796"}],"subject":[],"published":{"date-parts":[[2025,8,23]]},"assertion":[{"value":"4 August 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 August 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}