Attenuation Regulation as a Term Rewriting System

  • Eugene Asarin
  • Thierry Cachat
  • Alexander Seliverstov
  • Tayssir Touili
  • Vassily Lyubetsky
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4545)


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.


Markov Chain Leader Region Probabilistic Term Ground Term Tree Transducer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AJMd02]
    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)CrossRefGoogle Scholar
  2. [ALdR05]
    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)Google Scholar
  3. 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)CrossRefGoogle Scholar
  4. [BH03]
    Bournez, O., Hoyrup, M.: Rewriting logic and probabilities. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 61–75. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. [BIK06]
    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)Google Scholar
  6. [BK02]
    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)CrossRefGoogle Scholar
  7. [BT02]
    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)CrossRefGoogle Scholar
  8. [BT03]
    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)Google Scholar
  9. [FFHS00]
    Flamm, C., Fontana, W., Hofacker, I.L., Schuster, P.: RNA folding at elementary step resolution. RNA 6(3), 325–338 (2000)CrossRefGoogle Scholar
  10. Kesten, Y., Maler, O., Marcus, M., Pnueli, A., Shahar, E.: Symbolic model checking with rich assertional languages. Theoretical Computer Science 256, 93–112 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  11. [KSMA03]
    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)Google Scholar
  12. [LPRS07]
    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)Google Scholar
  13. [LRSP06]
    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)CrossRefGoogle Scholar
  14. [RNA]
    RNAmodel. Model of RNA-related regulation in bacteria,
  15. [SB91]
    Singer, M., Berg, P.: Genes & genomes. University Science Books Mill Valley, Calif (1991)Google Scholar
  16. [Tou05]
    Touili, T.: Dealing with communication for dynamic multithreaded recursive programs. In: 1st VISSAS workshop, IOS Press, Amsterdam (2005)Google Scholar
  17. [Zuk03]
    Zuker, M.: Mfold web server for nucleic acid folding and hybridization prediction. Nucleic Acids Research 31(13), 3406–3415 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Eugene Asarin
    • 1
  • Thierry Cachat
    • 1
  • Alexander Seliverstov
    • 2
  • Tayssir Touili
    • 1
  • Vassily Lyubetsky
    • 2
  1. 1.LIAFA, CNRS and University Paris Diderot 
  2. 2.IITP, Russian Academy of Science 

Personalised recommendations