Tutorials/General technology: Difference between revisions

From LifeWiki
Jump to navigation Jump to search
→How to find these building blocks?: trying the WIP template; day 3 writing
Line 14: Line 14:


==How to find these building blocks?==
==How to find these building blocks?==
 
{{WIP}}
Constructing signal circuitry involves both human idea and computer power. Here some simple demonstration may provide hints on how to develop signal circuitry.
Constructing signal circuitry involves both human idea and computer power. Here some simple demonstration may provide hints on how to develop signal circuitry.


Line 31: Line 31:


A glider travels one cell down and one cell right in four ticks, during which it shows two alternating shapes in a glide-symmetric manner. To reflect these facts we have some terminologies:
A glider travels one cell down and one cell right in four ticks, during which it shows two alternating shapes in a glide-symmetric manner. To reflect these facts we have some terminologies:
[[Image:Color_of_a_glider.png|x150px|thumb|right|Visualization of glider-related concepts]]
[[Image:Color_of_a_glider.png|x150px|thumb|right|Time-lapse visualization of glider-related concepts]]
* <b>[[Phase]]</b>: the arrangement of cells in one tick. A glider has 4 phases.
* <b>[[Phase]]</b>: the arrangement of cells in one tick. A glider has 4 phases.
* <b>[[Period]]</b>: the minimum number of ticks passed to appear in the same phase. A glider is period 4.
* <b>[[Period]]</b>: the minimum number of ticks passed to appear in the same phase. A glider is period 4.
* <b>[[Speed]]</b>: the displacement in a period divided by period. A glider has speed (1,1)c/4.
* <b>[[Speed]]</b>: the displacement in a period divided by period. A glider has speed (1,1)c/4.
* <b>[[Mod]]</b>: because the 1st&3rd phase are identical considering reflection and translation, and so does the 2nd&4th, a glider is said to have a mod of 4/2 = 2.
* <b>[[Mod]]</b>: because the 1st&3rd phase are identical considering reflection and translation, and so does the 2nd&4th, a glider is said to have a mod of 4/2 = 2.
* <b>[[Lane]]</b>: the diagonal linear region where a travelling glider has covered or will cover.
* <b>[[Lane]]</b>: the diagonal linear region where a travelling glider has covered or will cover. Since it is diagonal, a new metric for the distance parallel and perpendicular to the direction is invented. Define one <b>[[half-diagonal]]</b> (1hd) as the length of one half diagonal line of the square cell, that is, the distance between the blue line and the red line on the right.


Additionally, we will need to define <b>[[parity]]</b> and <b>[[color]]</b> so as to describe the relationship between two gliders. ...
Additionally, we will need to define <b>[[parity]]</b> and <b>[[color]]</b> so as to describe the relationship between two gliders. Gliders in the 1st and 3rd phase (or 2nd and 4th, with pairwise identical shapes) are said to have the same parity. Gliders in the same phase <i>up to rotation but no reflection</i> are considered to have the same color if their corresponding cell coordinates have even sum (or odd sum).


====The signal sink: eater 1====
====The signal sink: eater 1====


An important question following the discovery of glider is, what can we use when we want to suppress a glider? Fortunately, the following 7-cell fishhook-shaped still life can kill a glider and then recover in four ticks.
An important question following the discovery of glider is, what can we use when we want to suppress a glider? Fortunately, the following 7-cell fishhook-shaped [[still life]] can kill a glider and then recover in four ticks.


<center>{{LV:Viewer|x = 9, y = 9, rule = B3/S23
<center>{{LV:Viewer|x = 9, y = 9, rule = B3/S23
Line 55: Line 55:
Since the discovery of glider, people have been seeking for patterns that generates gliders. Later, a sustainable collision between two [[queen bee]]s was discovered that could yield gliders again and again. This is known as the [[Gosper glider gun]]:
Since the discovery of glider, people have been seeking for patterns that generates gliders. Later, a sustainable collision between two [[queen bee]]s was discovered that could yield gliders again and again. This is known as the [[Gosper glider gun]]:


<center>{{LV:Viewer|x = 36, y = 20, rule = B3/S23
<center>{{LV:Viewer|x = 41, y = 27, rule = B3/S23
24bo$22bobo$12b2o6b2o$11bo3bo4b2o12b2o$10bo5bo3b2o12b2o$2o8bo3bob2o4bo
24bo$22bobo$12b2o6b2o$11bo3bo4b2o12b2o$10bo5bo3b2o12b2o$2o8bo3bob2o4bo
bo$2o8bo5bo7bo$11bo3bo$12b2o$23bo$24b2o$23b2o6$30bobo$31b2o$31bo!
bo$2o8bo5bo7bo$11bo3bo$12b2o$23bo$24b2o$23b2o6$30bobo$31b2o$31bo5$38bo
$39b2o$38b2o!
#C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 AUTOSTART GPS 8 LOOP 30 ZOOM 8 ]]
#C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 AUTOSTART GPS 8 LOOP 30 ZOOM 8 ]]
}}</center>
}}</center>
Generally, a signal device may take a number of inputs and yield some outputs. When there are more outputs than inputs, it is said to be an [[over-unity reaction]]. With assistance, this kind of reactions are useful for constructing signal emitters. Taking no inputs and giving outputs periodically, the Gosper glider gun can be considered a degenerate example of over-unity reaction.


====Signal interactions: glider collisions====
====Signal interactions: glider collisions====


Next, we want to know how gliders can react with each other. Beginning with the simplest case of two gliders, we enumerated [[two-glider collision]]s...
Next, we want to know how gliders can react with each other. Beginning with the simplest case of two gliders, we enumerated [[two-glider collision]]s. Of particular interest are the cases where two glider destroy each other completely at right angles:
 
<center>{{LV:Viewer|x = 325, y = 35, rule = B3/S23
100bo36bo18bo$4bo18bo19bo16bo19bo18bo19bo16bo18bo36bo$3bo18bo19bo16bo
19bo19b3o16bo17b3o16b3o15bo17bo$3b3o16b3o17b3o14b3o17b3o36b3o51bo18b3o
$172b3o4$136bo$4b3o17b3o89bo18b2o55bo$4bo19bo20bo17bo20bo13b2o15b2o18b
obo14b2o20bo16b2o$5bo19bo18b2o16b2o19b2o13bobo14bobo34bobo18b2o16bobo$
44bobo15bobo18bobo12bo53bo20bobo7$261bo$215bo22bo21bo62bo$176bo15bo21b
o22bo22b3o18bo22bo17bo$175bo15bo22b3o20b3o40bo22bo18b3o$32bo16bo17bo
16bo16bo15bo17bo16bo22b3o13b3o86b3o20b3o$12bo18bo16bo17bo16bo16bo15bo
17bo16bo$11bo19b3o14b3o15b3o14b3o14b3o13b3o15b3o14b3o$11b3o4$170b3o15b
3o59b2o$22b3o16b3o16b3o15b3o15b3o14b3o16b3o15b3o19bo17bo11b2o23b2o20bo
bo20b2o40b2o$3o21bo18bo18bo17bo17bo16bo18bo17bo18bo17bo13b2o23b2o21bo
21b2o12b2o26b2o$2bo20bo18bo18bo17bo17bo16bo18bo17bo50bo24bo44bo15b2o
24bo$bo285bo!
#C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 WIDTH 1400 HEIGHT 400 ZOOM 4 ]]
}}</center>
 
These annihilation reactions will be the basis of signal devices below.
 
Also we observe the cases with clean output glider:
 
<center>{{LV:Viewer|x = 29, y = 14, rule = B3/S23
7bo$6bo20bo$6b3o17bo$26b3o7$23bo$b2o19b2o$obo19bobo$2bo!
#C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 ZOOM 8 ]]
}}</center>
 
Looking closer, they are actually [[kickback]] reactions in which one of the gliders is reflected 180 degrees, which is somewhat limited. It would be better if there were two-glider collisions in Game of Life that
 
* give the output on a lane perpendicular to both of the inputs,
* kill one of the inputs while keeping the other unaffected, as in a [[Heisenburp]]-type [[fly-by reaction]], or
* are clean unity or over-unity reactions themselves.


====Signal reflectors====
====Signal reflectors====

Revision as of 09:12, 30 December 2020

Tutorials/General technology

So now, after coming across a good cellular automata, you have decided to do something less abstract with it — something more significant than random soup searching and more engaging than automatic software searching. Then you begin to consider signal circuitry, the very connection between microscopic evolution and macroscopic construction. (Actually, that is approximately what cellular automata were originally created for; the basis of modelling self-replicating systems.)

What is a signal and what do they do?

A signal is a moving configuration different from its background, and thus carrying some information. In terms of cellular automata, the following patterns can serve as signals:

A signal travels through the space at a certain speed, which is an important measure since timing (especially synchronization) decides whether signal circuitry works or not.

Signals transform and interact in various ways. A lone signal can be created, reflected and/or flipped, delayed/advanced, multiplicated, transformed into other signal(s), or destroyed. Two or more signals react to annihilate or to perform logic operations. These rely on some devices, namely guns/factorys, reflectors, advancer, pulse dividers, duplicators, converters, eaters, Boolean logic gates, etc.

How to find these building blocks?

This page is under construction. Sorry for the inconvenience.

Constructing signal circuitry involves both human idea and computer power. Here some simple demonstration may provide hints on how to develop signal circuitry.

Example 1: Conway's Game of Life, with the Gosper glider gun

The signal: glider

Imagine travelling back to the early life days in the 1970s. When tracking the evolution of small polyomino patterns, Life enthusiasts observed a moving configuration as follows:

x=3, y = 3, rule = B3/S23 bo$2bo$3o! #C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 AUTOSTART GPS 4 LOOP 4 TRACK 0.25 0.25 ]]

Soon the spaceship became known as the glider, and found its part in the signal circuitry. Before constructing anything let's analyze its movement.

A glider travels one cell down and one cell right in four ticks, during which it shows two alternating shapes in a glide-symmetric manner. To reflect these facts we have some terminologies:

Time-lapse visualization of glider-related concepts
  • Phase: the arrangement of cells in one tick. A glider has 4 phases.
  • Period: the minimum number of ticks passed to appear in the same phase. A glider is period 4.
  • Speed: the displacement in a period divided by period. A glider has speed (1,1)c/4.
  • Mod: because the 1st&3rd phase are identical considering reflection and translation, and so does the 2nd&4th, a glider is said to have a mod of 4/2 = 2.
  • Lane: the diagonal linear region where a travelling glider has covered or will cover. Since it is diagonal, a new metric for the distance parallel and perpendicular to the direction is invented. Define one half-diagonal (1hd) as the length of one half diagonal line of the square cell, that is, the distance between the blue line and the red line on the right.

Additionally, we will need to define parity and color so as to describe the relationship between two gliders. Gliders in the 1st and 3rd phase (or 2nd and 4th, with pairwise identical shapes) are said to have the same parity. Gliders in the same phase up to rotation but no reflection are considered to have the same color if their corresponding cell coordinates have even sum (or odd sum).

The signal sink: eater 1

An important question following the discovery of glider is, what can we use when we want to suppress a glider? Fortunately, the following 7-cell fishhook-shaped still life can kill a glider and then recover in four ticks.

x=9, y = 9, rule = B3/S23 bo$2bo$3o3$5b2o$5bobo$7bo$7b2o! #C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 AUTOSTART GPS 4 LOOP 12 ]]

This is called an eater, a subgroup of catalysts.

The signal source: Gosper glider gun

Since the discovery of glider, people have been seeking for patterns that generates gliders. Later, a sustainable collision between two queen bees was discovered that could yield gliders again and again. This is known as the Gosper glider gun:

x=41, y = 27, rule = B3/S23 24bo$22bobo$12b2o6b2o$11bo3bo4b2o12b2o$10bo5bo3b2o12b2o$2o8bo3bob2o4bo bo$2o8bo5bo7bo$11bo3bo$12b2o$23bo$24b2o$23b2o6$30bobo$31b2o$31bo5$38bo $39b2o$38b2o! #C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 AUTOSTART GPS 8 LOOP 30 ZOOM 8 ]]

Generally, a signal device may take a number of inputs and yield some outputs. When there are more outputs than inputs, it is said to be an over-unity reaction. With assistance, this kind of reactions are useful for constructing signal emitters. Taking no inputs and giving outputs periodically, the Gosper glider gun can be considered a degenerate example of over-unity reaction.

Signal interactions: glider collisions

Next, we want to know how gliders can react with each other. Beginning with the simplest case of two gliders, we enumerated two-glider collisions. Of particular interest are the cases where two glider destroy each other completely at right angles:

x=325, y = 35, rule = B3/S23 100bo36bo18bo$4bo18bo19bo16bo19bo18bo19bo16bo18bo36bo$3bo18bo19bo16bo 19bo19b3o16bo17b3o16b3o15bo17bo$3b3o16b3o17b3o14b3o17b3o36b3o51bo18b3o $172b3o4$136bo$4b3o17b3o89bo18b2o55bo$4bo19bo20bo17bo20bo13b2o15b2o18b obo14b2o20bo16b2o$5bo19bo18b2o16b2o19b2o13bobo14bobo34bobo18b2o16bobo$ 44bobo15bobo18bobo12bo53bo20bobo7$261bo$215bo22bo21bo62bo$176bo15bo21b o22bo22b3o18bo22bo17bo$175bo15bo22b3o20b3o40bo22bo18b3o$32bo16bo17bo 16bo16bo15bo17bo16bo22b3o13b3o86b3o20b3o$12bo18bo16bo17bo16bo16bo15bo 17bo16bo$11bo19b3o14b3o15b3o14b3o14b3o13b3o15b3o14b3o$11b3o4$170b3o15b 3o59b2o$22b3o16b3o16b3o15b3o15b3o14b3o16b3o15b3o19bo17bo11b2o23b2o20bo bo20b2o40b2o$3o21bo18bo18bo17bo17bo16bo18bo17bo18bo17bo13b2o23b2o21bo 21b2o12b2o26b2o$2bo20bo18bo18bo17bo17bo16bo18bo17bo50bo24bo44bo15b2o 24bo$bo285bo! #C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 WIDTH 1400 HEIGHT 400 ZOOM 4 ]]

These annihilation reactions will be the basis of signal devices below.

Also we observe the cases with clean output glider:

x=29, y = 14, rule = B3/S23 7bo$6bo20bo$6b3o17bo$26b3o7$23bo$b2o19b2o$obo19bobo$2bo! #C [[ THEME 6 GRID THUMBNAIL THUMBSIZE 2 ZOOM 8 ]]

Looking closer, they are actually kickback reactions in which one of the gliders is reflected 180 degrees, which is somewhat limited. It would be better if there were two-glider collisions in Game of Life that

  • give the output on a lane perpendicular to both of the inputs,
  • kill one of the inputs while keeping the other unaffected, as in a Heisenburp-type fly-by reaction, or
  • are clean unity or over-unity reactions themselves.

Signal reflectors

Example 2:

Add your suggestion here (best with other kind of systems, possibly like Banks-I and else)!

Summary