Input Program state’i statei state’j statej
a)
stop
statei
Current
Spacer
state
state=state'
j i statei state’j statej
b)
statej statei
spacer
state’i statei state’j statej
c)
stop stop
statej spacer
Fok I restriction Inactive ssDNA drug
enzyme Diagnostic molecule
+ +
mRNA input
cleave
Output: active ssDNA
cleave drug released
(a) Toehold mediated strand (b) Toehold exchange
displacement
Β Βm Βm
Β Cn Βm Cn
¬Β ¬C
+ ¬B ¬C
+
kf kr(Cn)
kf kr(Cn)
k{0,m} k{m,n} k{n,m}
kb kb
kb kb
kr(Bm) kf
Β C Βm Cn
Β Βm Βm
+ ¬Β ¬C
+ ¬B ¬C
P = “symthom1”
P → Q
FokI + +
cleavage
FokI
cleavage
Aux
+
unfolded loop
output
Q =“diseaseA”