Formal description of lambda phage's lysogenic to lytic transition