String Pointer Reduction System
In Chap. 8 we formalized the MDS structure of micronuclear and intermediate genes through legal strings. In this chapter we shall formalize the gene assembly process in the framework of legal strings. Thus, we shall now formalize the three molecular operations ld, hi, and dlad as operations on (rewriting rules for) legal strings, obtaining string pointer reduction systems. Although the transition from MDS descriptors to legal strings represents an increase in abstraction (we only preserve in legal strings the sequence of pointers), we prove that string pointer reduction systems are equivalent to MDS descriptor pointer reduction systems as far as the strategies for gene assembly are concerned.
KeywordsGene Assembly Reduction Rule Intermediate Gene Signed Permutation Formal Language Theory
Unable to display preview. Download preview PDF.
Notes on References
- 20.Ehrenfeucht, A., Petre, I., Prescott, D. M., and Rozenberg, G., String and graph reduction systems for gene assembly in ciliates. Math. Structures Comput. Sci. 12 (2001) 113–134 Google Scholar
- 8.Daley, M., Computational Modeling of Genetic Processes in Stichotrichous Ciliates. PhD thesis, University of London, Ontario, Canada (2003)Google Scholar
- 7.Caprara, A., Sorting by reversals is difficult. In S. Istrail, P. Pevzner and M. Waterman (eds.) Proceedings of the 1st Annual International Conference on Computational Molecular Biology (1997) pp. 75–83Google Scholar
- 10.Daley, M., Ibarra, O. H., and Kari, L., Closure propeties and decision questions of some language classes under ciliate bio-operations. Theoret. Comput. Sci.,to appearGoogle Scholar
- 24.Hannenhalli, S., and Pevzner, P. A., Transforming cabbage into turnip (Polynomial algorithm for sorting signed permutations by reversals). In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing (1995) pp. 178–189Google Scholar