# Team:ETH Zurich/project/background/modeling

(Difference between revisions)
 Revision as of 19:18, 17 October 2014 (view source)Angelicb (Talk | contribs) (→Cellular Automata)← Older edit Revision as of 23:10, 17 October 2014 (view source)Lnadine (Talk | contribs) (→Cellular Automata)Newer edit → Line 4: Line 4: 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 [[Team:ETH_Zurich/project/references#refWolfram|[11]]] 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 [[Team:ETH_Zurich/project/references#refWolfram|[11]]] 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.]] 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 11: Line 11: 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|Truth table of an XOR logic gate.]] + [[File:ETH_Zurich_XOR_Logic_Gate.png|200px|center|thumb|'''Figure 3'''Truth table of an XOR logic gate.]]

## 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 2Here 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 3Truth table of an XOR logic gate.