Decider Tiler

From self-assembly wiki
Revision as of 12:12, 28 August 2013 by \('"2\)'"7
(\(1) \)2 | \(3 (\)4) | \(5 (\)6)
Jump to navigation Jump to search


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.

Retrieved from "http://self-assembly.net/wiki/index.php?title=Decider_Tiler&oldid=1038"