Team:ETH Zurich/project/background/modeling

From 2014.igem.org

(Difference between revisions)
m (Pattern Formation)
(Cellular Automata)
 
(7 intermediate revisions not shown)
Line 2: Line 2:
==='''Cellular Automata''' ===
==='''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 logig gate or another rule. Wolfram <sup>[[Team:ETH_Zurich/project/references#refWolfram|[11]]]</sup> elaborated a whole theory on these 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 <sup>[[Team:ETH_Zurich/project/references#refWolfram|[11]]]</sup> elaborated a whole theory on these cellular automata.
-
[[File:ETHZurich_CAWolfram.jpg|300px|center|thumb|Here are three different cellular automata with their logic rule.]]
+
[[File:ETHZurich_CAWolfram.jpg|300px|center|thumb| '''Figure 2''' Here are three different cellular automata with their logic rule <sup>[[Team:ETH_Zurich/project/references#refWolfram|[11]]]</sup>]]
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.
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.
Line 10: Line 10:
<br/>
<br/>
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.
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.
 +
 +
[[File:ETH_Zurich_XOR_Logic_Gate.png|200px|center|thumb|'''Figure 3''' Truth table of an XOR logic gate.]]

Latest revision as of 02:40, 18 October 2014

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 [11]

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.