Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Elementary reduction rules of the DSD programming language. We let S∼ denote the migration rate of a domain sequence S and fst(S) denote its first domain. We also let N+ and N − denote the binding and unbinding rates, respectively, of a toehold N∧. We assume that fst(R2) ≠ fst(S2) for rule (RM). This ensures that branch migration is maximal along a given sequence and that rules (RM) and (RD) are mutually exclusive. (Online version in colour.)
