Decider Tiler
Revision as of 12:10, 28 August 2013 by \('"2\)'"7
Name
Decider Tiler
Description
The Decider Tiler is a Win32 command line tool 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.
