Decider Tiler

Name

Decider Tiler

Description

The Decider Tiler is a Win32 command line tool (the package also contains the source code) that produces a template for a Turing machine definition and then takes the completed TM definition as input and outputs a tileset and seed that will self-assemble into an assembly that performs the computation of that TM on every natural number, sequentially. The language of the Turing machine must be decidable, and simulation will result in the weak self-assembly of a canonical two-dimensional representation of the language as a set of 'ACCEPT' tiles along either the positive x-axis or the negative y-axis, depending on the command line arguments used. See "Self-Assembly of Decidable Sets" by Patitz and Summers for a detailed description.