Finite state machine and Markovian equivalents of the <i>lac</i> Operon in <i>E. coli</i> bacterium

Abstract

<abstract> <p>The <italic>lac</italic> operon in <italic>E. coli</italic> has been extensively studied by computational biologists. The bacterium uses it to survive in the absence of glucose, utilizing lactose for growth. This paper presents a novel modeling mechanism for the <italic>lac</italic> operon, transferring the process of lactose metabolism from the cell to a finite state machine (FSM). This FSM is implemented in field-programmable gate array (FPGA) and simulations are run in random conditions. A Markov chain is also proposed for the <italic>lac</italic> operon, which helps study its behavior in terms of probabilistic variables, validating the finite state machine at the same time. This work is focused towards conversion of biological processes into computing machines.</p> </abstract>