Abstract
The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an operon by a term, and we give a probabilistic term rewriting system modeling the whole process of such a regulation.
The support of CNRS-RAS cooperation agreement 19122 Evolver is gratefully acknowledged.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abdulla, P.A., Jonsson, B., Mahata, P.: Regular tree model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 555–568. Springer, Heidelberg (2002)
Abdulla, P.A., Legay, A., d’Orso, J., Rezine, A.: Simulation-based iteration of tree transducers. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 30–44. Springer, Heidelberg (2005)
Bournez, O., Côme, G.-M., Conraud, V., Kirchner, H., Ibanescu, L.: A rule-based approach for automated generation of kinetic chemical mechanisms. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 30–45. Springer, Heidelberg (2003)
Bournez, O., Hoyrup, M.: Rewriting logic and probabilities. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 61–75. Springer, Heidelberg (2003)
Bournez, O., Ibanescu, L., Kirchner, H.: From chemical rules to term rewriting. In: 6th International Workshop on Rule-Based Programming, vol. 147(1) of ENTCS, pp. 113–134 (2006)
Bournez, O., Kirchner, C.: Probabilistic rewrite strategies: Applications to ELAN. In: Tison, S. (ed.) RTA 2002. LNCS, vol. 2378, pp. 252–266. Springer, Heidelberg (2002)
Bouajjani, A., Touili, T.: Extrapolating tree transformations. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 539–554. Springer, Heidelberg (2002)
Bouajjani, A., Touili, T.: Reachability analysis of process rewrite systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science. LNCS, vol. 2914, pp. 73–87. Springer, Heidelberg (2003)
Flamm, C., Fontana, W., Hofacker, I.L., Schuster, P.: RNA folding at elementary step resolution. RNA 6(3), 325–338 (2000)
Kesten, Y., Maler, O., Marcus, M., Pnueli, A., Shahar, E.: Symbolic model checking with rich assertional languages. Theoretical Computer Science 256, 93–112 (2001)
Kumar, N., Sen, K., Meseguer, J., Agha, G.: A rewriting based model for probabilistic distributed object systems. In: FMOODS’03. LNCS, vol. 2884, pp. 32–46. Springer, Heidelberg (2003)
Lyubetsky, V., Pirogov, S., Rubanov, L., Seliverstov, A.: Modeling classic attenuation regulation of gene expression in bacteria. Journal of Bioinformatics and Computational Biology, 5(1) (in print, 2007)
Lyubetsky, V., Rubanov, L., Seliverstov, A., Pirogov, S.: Model of gene expression regulation in bacteria via formation of RNA secondary structures. Molecular Biology 40(3), 440–453 (2006)
RNAmodel. Model of RNA-related regulation in bacteria, http://lab6.iitp.ru/rnamodel/rnamodee.html
Singer, M., Berg, P.: Genes & genomes. University Science Books Mill Valley, Calif (1991)
Touili, T.: Dealing with communication for dynamic multithreaded recursive programs. In: 1st VISSAS workshop, IOS Press, Amsterdam (2005)
Zuker, M.: Mfold web server for nucleic acid folding and hybridization prediction. Nucleic Acids Research 31(13), 3406–3415 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asarin, E., Cachat, T., Seliverstov, A., Touili, T., Lyubetsky, V. (2007). Attenuation Regulation as a Term Rewriting System. In: Anai, H., Horimoto, K., Kutsia, T. (eds) Algebraic Biology. AB 2007. Lecture Notes in Computer Science, vol 4545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73433-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-73433-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73432-1
Online ISBN: 978-3-540-73433-8
eBook Packages: Computer ScienceComputer Science (R0)