| Abstract: | This paper is an attempt to describe and analyze in formal terms a genetic circuit which is rather complex and reasonably well disentangled: the control of immunity in lambdoid bacteriophages. Known models are expressed as logic equations, which relate the stade of activity of genes to variables of three kinds: genetic variables which describe the genotype of the organism, environmental variables like temperature and memorization variables. The value of each memorization variable (presence or absence of a gene product) is related to the value of the corresponding function (operation or not of the gene) by two characteristic time delays, an «establishment delay and a «decay delay.From the equations, one can derive matrices which facilitate comparison between models by showing which stable states are predicted by each model. Implications of current models, which had apparently remained cryptic, have been realized and experimentally tested.From the matrices, one can derive graphs which show the pathways (sequences of states) consistent with each model. These graphs are frequently branched and in these cases one has to analyze which conditions determine that one pathway rather than another one, is followed. |
