Team:ETH Zurich/project/background/modeling

From 2014.igem.org

Revision as of 23:10, 17 October 2014 by Lnadine (Talk | contribs)

Pattern Formation

Cellular Automata

Pattern formation was formalized by Neuman in the concept of cellular automata. Following a simple pre-programmed logic rule, the state of a cell is determined by the states of three parent cells (from the previous computation round). Those logic rules are discrete computations: they can be either implementing an AND logic gate or another rule. Wolfram [11] elaborated a whole theory on these cellular automata.

Figure 2 Here are three different cellular automata with their logic rule.

According to cellular automata theory, emergent patterns offer a large panel of properties: striking examples are the rule 30 which gives an apparently random pattern and the rule 110 which has been proven to be Turing complete. With cellular automata, you cannot predict how the final pattern will look like even if you know the rule that governs its property. Thus, the intricated computations of steps poses the problem of complexity.

We chose to implement the XOR gate with two inputs, corresponding to rule 6. It can be considered as a first step towards the rule 110, which is an XOR with 3 inputs and is known to be Turing complete.

Figure 3 Truth table of an XOR logic gate.