Directed non-cooperative tile assembly is decidable - Université d'Évry Access content directly
Conference Papers Year : 2021

Directed non-cooperative tile assembly is decidable

Abstract

We provide a complete characterisation of all final states of a model called directed non-cooperative tile self-assembly, also called directed temperature 1 tile assembly, which proves that this model cannot possibly perform Turing computation. This model is a deterministic version of the more general undirected model, whose computational power is still open. Our result uses recent results in the domain, and solves a conjecture formalised in 2011. We believe that this is a major step towards understanding the full model. Temperature 1 tile assembly can be seen as a two-dimensional extension of finite automata, where geometry provides a form of memory and synchronisation, yet the full power of these "geometric blockings" was still largely unknown until recently (note that nontrivial algorithms which are able to build larger structures than the naive constructions have been found).
No file

Dates and versions

hal-03362845 , version 1 (02-10-2021)

Identifiers

Cite

Pierre-Etienne Meunier, Damien Regnault. Directed non-cooperative tile assembly is decidable. International Conference on DNA Computing and Molecular Programming (DNA 2021), Sep 2021, Oxford, Virtual, United Kingdom. ⟨10.4230/LIPIcs.DNA.27.6⟩. ⟨hal-03362845⟩
65 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More