Difference between revisions of "Directed (2HAM)"
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...") |
|||
| Line 1: | Line 1: | ||
| − | A (2HAM) TAS is called directed (a.k.a. deterministic, confluent) if it produces only | + | 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== | ||
Revision as of 11:17, 1 June 2013
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\).
