Directed non-cooperative tile assembly is decidable - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Directed non-cooperative tile assembly is decidable

Résumé

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).
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More