In this paper we explore the relation between Wang Tiles and Schonfinkel Combinators in order to investigate Functional Combinators as an programming language for Self-assembly and DNA computing. We show: How any combinatorial program can be expressed in terms of Wang Tiles, and again, how any computation of the program fits into a grid of tiles of a suitable finite, tile set, and finally, how a program for Self-assembly DNA computing can be obtained. The result is a general methodology that, given any computable function, allows to define a Self-assembly program that can be used to construct the computations of the function
Marco Bellia, M. Eugenia Occhiuto