Abstract: We consider the classical attenuation regulation of gene expression in bacteria. 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. This is a joint work with Eugène Asarin, Thierry Cachat, Alexander Seliverstov and Vassily Lyubetsky