Attenuation Regulation as a Term Rewriting System

TL;DR

This paper models bacterial gene attenuation regulation using a probabilistic term rewriting system to represent RNA secondary structures, providing a formal computational framework for understanding this biological process.

Contribution

It introduces a novel formal model representing RNA structures and regulation mechanisms through probabilistic term rewriting systems, bridging biology and computational formalism.

Findings

Formal model of attenuation regulation as a probabilistic rewriting system

Potential for computational analysis of gene regulation mechanisms

Framework adaptable to other RNA-based regulatory processes

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.