Inspired by RNA-editing as occurs in transcriptional processes in the living cell, we introduce an abstract notion of string adjustment, called guided rewriting. This formalism allows simultaneously inserting and deleting elements. We prove that guided rewriting preserves regularity: for every regular language its closure under guided rewriting is regular too. This contrasts an earlier abstraction of RNA-editing separating insertion and deletion for which it was proved that regularity is not preserved. The particular automaton construction here relies on an auxiliary notion of slice sequence which enables to sweep from left to right through a completed rewrite sequence.
Additional Metadata
ACM Formal Languages (acm F.4.3), LIFE AND MEDICAL SCIENCES (acm J.3)
THEME Software (theme 1)
Publisher EPTCS 100
Editor G. Ciobanu
Persistent URL dx.doi.org/10.4204/EPTCS.100.4
Conference Membrane Computing and Biologically Inspired Process Calculi
Citation
de Vink, E.P, Zantema, H, & Bosnacki, D. (2012). Combining insertion and deletion in RNA-editing preserves regularity. In G Ciobanu (Ed.), 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi. EPTCS 100. doi:10.4204/EPTCS.100.4