Synthetic Recombinase-Based State Machines