Difference between revisions of "Directed (2HAM)"

From self-assembly wiki
Jump to navigation Jump to search
(Created page with "A (2HAM) TAS is called directed (a.k.a. deterministic, confluent) if it produces only on terminal assembly. Note that this does '''''not''''' say that the assembly sequence of a...")
 
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
A (2HAM) TAS is called directed (a.k.a. deterministic, confluent) if it produces only on terminal assembly.  Note that this does '''''not''''' say that the assembly sequence of all supertiles converges to a specific supertile, but rather that there will be only one terminal supertile.  There could be various other supertiles in solution as well (besides the terminal supertile), but in a directed system these will not ever be terminal.
+
A (2HAM) TAS is called directed (a.k.a. deterministic, confluent) if it produces only one terminal assembly.  Note that this does '''''not''''' say that the assembly sequence of all supertiles converges to a specific supertile, but rather that there will be only one terminal supertile.  There could be various other supertiles in solution as well (besides the terminal supertile), but in a directed system these will not ever be terminal.
  
 
==Definition==
 
==Definition==
Line 5: Line 5:
  
 
[[Category: Terminology]]
 
[[Category: Terminology]]
 +
[[Category:Self-assembly]]

Latest revision as of 15:19, 27 May 2014

A (2HAM) TAS is called directed (a.k.a. deterministic, confluent) if it produces only one terminal assembly. Note that this does not say that the assembly sequence of all supertiles converges to a specific supertile, but rather that there will be only one terminal supertile. There could be various other supertiles in solution as well (besides the terminal supertile), but in a directed system these will not ever be terminal.

Definition

We say that a (2HAM) TAS given by \(\mathcal{T}=(T,S,\tau)\) is directed provided that \(|\mathcal{A}_{\Box}[\mathcal{\mathcal{T}}]| = 1\).