Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits.

Recombinases have been exploited in synthetic biology as a technique to engineer genetic circuits for various application tasks. Prior works mostly studied the construction of combinational or sequential circuits with deterministic behavior. Nevertheless, nondeterminism is ubiquitous in biochemical systems and is an essential resource to enable various biochemical processes, such as cell differentiation and pattern formation. In this work, we study the synthesis of nondeterministic recombinase-based genetics circuits specified by a Boolean relation. We develop methods to create nondeterminism and synthesize the intended nondeterministic circuit. The synthesis methodology is experimented to evaluate the effectiveness of DNA sequence length reduction in the constructed genetic circuits.