Page 1 of 1

FreeElectronics, a 4-state rule

PostPosted: August 6th, 2017, 2:02 pm
by Rhombic
This rule is almost certainly Turing complete. You can build blocks, delete them, use the blocks to multiply signals or to block them. Signals are 1D-extensible
The rule:
@RULE FreeElectronics

@TABLE

n_states:4
neighborhood:Moore
symmetries:rotate4reflect

var a={0,1,2,3}
var b=a
var c=a
var d=a
var e=a
var f=a
var g=a
var h=a
var i={0,1}
var j=i
var k={0,3}
var l=k
#State 1: head, State 2: tail, State 3:x

0,1,0,0,0,0,0,0,0,1
0,0,1,1,0,0,0,0,0,1
1,2,0,0,0,0,0,0,0,2
1,0,1,0,2,0,0,0,0,2
0,0,1,0,3,0,0,0,0,1
0,0,0,3,1,1,0,0,0,1
3,0,0,0,0,1,1,0,0,1
0,0,0,0,3,1,1,0,0,1
1,1,0,0,0,1,2,2,2,2
0,0,0,0,0,0,1,1,1,1
0,0,0,3,0,0,1,1,1,3
0,0,0,1,0,0,1,1,1,3
0,0,3,0,0,1,0,0,0,1
3,0,0,0,0,0,1,0,1,0
0,3,0,1,0,0,0,0,0,1
0,1,0,0,0,1,0,0,0,3
0,0,3,0,i,1,j,0,3,1
0,3,0,0,1,0,1,0,3,1
0,0,2,1,0,1,0,0,0,1
3,3,k,l,0,0,1,1,0,0
2,2,0,2,0,0,0,2,0,3
0,0,0,2,2,0,2,2,0,3
2,2,2,2,0,0,0,0,0,3
3,0,0,3,0,2,0,3,0,0
0,3,3,0,1,0,1,0,3,1
3,0,0,1,2,0,2,3,0,0
1,2,1,2,0,0,0,0,0,1
0,0,0,3,0,1,0,3,0,1
0,0,0,0,3,1,3,0,0,1

1,a,b,c,d,e,f,g,h,2
2,a,b,c,d,e,f,g,h,0

@ICONS
XPM
/* width height num_colors chars_per_pixel */
"7 21 3 1"
/* colors */
"A c #FFFFFF"
". c #000000"
"B c #AA5544"
/* icon for state 1 */
"AAAAAAA"
"AAAAAAA"
"AAAAAAA"
"AAAAAAA"
"AAAAAAA"
"AAAAAAA"
"AAAAAAA"
/* icon for state 2 */
"......."
"..AAA.."
".A.A.A."
".AAAAA."
".A.A.A."
"..AAA.."
"......."
/* icon for state 3 */
"BBBBBBB"
"B.....B"
"B.BBB.B"
"B.BBB.B"
"B.BBB.B"
"B.....B"
"BBBBBBB"


Showcase:
x = 269, y = 20, rule = FreeElectronics
266.C$27.C$26.C$265.C4$25.C221.2B5.B$24.C211.2B3.B5.2A5.A$23.C212.2A
3.A3$117.B57.C22.C21.2C$106.B10.A13.C22.2C18.2C22.2C20.2C46.C$38.C67.
A$22.C5.C9.C10.2C9.C8.C10.C9.2C$268.C2$A5.2A5.3A4.A6.A10.A11.A8.3A6.A
.A9.2A8.2A13.3A8.3A12.A22.A.A17.A.A21.A.A19.A.A13.2A3.A5.2A5.A11.A$B
5.2B5.3B4.B6.B10.B11.B8.3B6.B.B9.2B8.2B13.3B8.3B12.B22.B.B17.B.B21.B.
B19.B.B13.2B3.B5.2B5.B11.B!


Suboptimal AND gate:
x = 25, y = 79, rule = FreeElectronics
12.C2$24.C$.BA2$9.C2.C11.C4$C8$8.C2.2C11.C2$.BA$24.C2$8.C8$12.C2$24.C
$.BA2$9.C2.C11.C4$C8$8.C2.2C11.C3$24.C2$8.C4$12.C2$24.C3$9.C2.C11.C4$
C8$8.C2.2C11.C2$.BA$24.C2$8.C!

OR gate:
x = 21, y = 10, rule = FreeElectronics
14.C2.C2$12.C$5.BA$14.C$8.C2.C5.C$BA$8.C2.C8.C$12.C7.C$13.C!

Re: FreeElectronics, a 4-state rule

PostPosted: August 7th, 2017, 4:59 am
by Rhombic
Some signal splitters:
x = 91, y = 15, rule = FreeElectronics
33.BA$33.BA$33.BA$33.BA$33.BA$7.C9.BA14.BA26.BA$BA15.BA14.BA26.BA$BA
5.C9.BA5.C8.BA5.C20.BA$8.C16.C.C13.C.C22.C5.C5.C2.C2.C2.C2.C$26.C15.C
20.C5.C5.C$43.C$44.C$45.C$46.C$47.C!


Synthesis of a 4-bit thing, reflecting 1-photons as 2-photons, 4-photons as 1-photons and eating all the other ones up to 6-photons, beyond which it just eats a portion of the spaceship with no further reflection.
x = 62, y = 48, rule = FreeElectronics
56.6B$56.6A7$56.5B$56.5A7$56.4B$56.4A2$15.B$15.A4$56.3B$15.3B38.3A$
15.3A4$18.2B$18.2A$56.2B$56.2A$16.B$16.A2$BA2$BA$56.B$16.A39.A$16.B2$
55.C$18.2A$18.2B36.C$58.2C!

Re: FreeElectronics, a 4-state rule

PostPosted: August 7th, 2017, 10:10 pm
by toroidalet
Produce a photon of any length:
x = 17, y = 25, rule = FreeElectronics
7.C$BA5.C2$8.C2$9.C2$10.C2$11.C2$12.C2$13.C2$14.C2$15.C2$16.C$4.C2$3.
C2$2.C!

p4 gun:
x = 7, y = 7, rule = FreeElectronics
2.C$2.C$5.2C$4.B$2C.A.A$4.C$4.C!

p4 gun for any photon:
x = 34, y = 24, rule = FreeElectronics
28.C2$21.C$20.C6.C$19.C7.C$18.C11.2C$17.C5.C5.B3.C$16.C8.2C.A.A$15.C
13.C$14.C9.C4.C$13.C$12.C15.C$11.C$10.C$9.C$8.C$7.C$6.C$5.C$4.C$3.C$
2.C$.C$C!

A start for a reader:
x = 32, y = 7, rule = FreeElectronics
C14.C5.C6.C$C3$18.C5.C6.C$5.BA9.C5.C6.C$2C16.C5.C6.C!

It would be nice if there was a transition allowing signals to place blocks in a way that bypasses the bounding box limit and the bounding diamond limit (Universal construction)

Re: FreeElectronics, a 4-state rule

PostPosted: August 8th, 2017, 4:34 am
by Rhombic
toroidalet wrote:It would be nice if there was a transition allowing signals to place blocks in a way that bypasses the bounding box limit and the bounding diamond limit (Universal construction)


Can you think of an example reaction? Preferably allowing all the previous ones in the showcase.

EDIT: Minor update to the rule, updated in the first post.
These reactions are now allowed:
x = 40, y = 11, rule = FreeElectronics
40C9$17.A.A17.A.A$17.B.B17.B.B!

Reason: until now, 1xn polyominos for n>3 were indestructible; this can allow "for" loops and that sort of thing, and using the 1xn building reactions and these new ones can allow new stuff

----------------------------
Glider-constructible filter:
For length=2 signals, emits the original signal together with an auxiliary length=1 signal, but, for more than one input signal, it has different behaviours. With d = distance between the photons:
d=2 and 3: emits 2 photons and one auxiliary signal
d=4 to 12: emits one photon (of the original two) and one auxiliary signal
d=13 to 26: emits one photon (of the original two) and two auxiliary signals
d=27 to 31: emits one photon (of the original two) and one auxiliary signal, but further forward than with d=4 to 12
d>=32: signals are independent, i.e. every original photon gets transmitted and for each original photon, an auxiliary signal is sent

Filter:
x = 50, y = 122, rule = FreeElectronics
37.2C6.C2$47.3C$42.2C2$35.C$36.C$34.BA8.C$34.BA8.C3$48.C$42.2C4.C4$
36.C5$37.2C6.C2$47.3C$42.2C2$35.C$36.C$30.BA2.BA8.C$30.BA2.BA8.C3$48.
C$42.2C4.C4$36.C5$37.2C6.C2$47.3C$42.2C2$35.C$36.C$28.BA4.BA8.C$28.BA
4.BA8.C3$48.C$42.2C4.C4$36.C5$37.2C6.C2$47.3C$42.2C2$35.C$36.C$19.BA
13.BA8.C$19.BA13.BA8.C3$48.C$42.2C4.C4$36.C5$37.2C6.C2$47.3C$42.2C2$
35.C$36.C$5.BA27.BA8.C$5.BA27.BA8.C3$48.C$42.2C4.C4$36.C5$37.2C6.C2$
47.3C$42.2C2$35.C$36.C$BA32.BA8.C$BA32.BA8.C3$48.C$42.2C4.C4$36.C!

Re: FreeElectronics, a 4-state rule

PostPosted: March 8th, 2018, 8:35 pm
by Rhombic
I just wanted to bump this rule again in case...
1) someone wants to implement the universal-construction reaction without destroying all the other dynamics of the rule
2) someone wants to attempt a Toffoli gate potentially starting with this OR gate:
x = 21, y = 10, rule = FreeElectronics
14.C2.C2$12.C$5.BA$14.C$8.C2.C5.C$BA$8.C2.C8.C$12.C7.C$13.C!



----

Unrelated stuff
p108 gun:
x = 34, y = 53, rule = FreeElectronics
23.2C$13.2C$33.C$29.C5$7.C2$2.C6.C$25.2C4$6.C$8.2A$8.2B$27.C$3.C6.2C
4$21.C$.A5.C$C.B22.C$C.B21.C$.A20.C2$14.A$14.B2$7.C2$C2.C6$C2$10.C$9.
C$2.C$2.C6$15.C$7.2C6.C!

Extensible gun:
x = 24, y = 27, rule = FreeElectronics
11.C4.C$16.C2$8.2C$12.2C2$23.C$6.2C15.C$10.2C3$4.2C16.C$8.2C12.C3$2.
2C17.C$6.2C13.C2$C$14.C2$2.2A$2.2B16.C$4.2C14.C$2C$3.C$3.C!

Re: FreeElectronics, a 4-state rule

PostPosted: March 8th, 2018, 8:49 pm
by AforAmpere
I can't seem to figure out how to produce a block pushing move. Has anyone?

Re: FreeElectronics, a 4-state rule

PostPosted: March 9th, 2018, 6:18 am
by Rhombic
AforAmpere wrote:I can't seem to figure out how to produce a block pushing move. Has anyone?

There already is a block-pushing move (it's in the first post in the RLE with the set of reactions).
EDIT: I'm clearly wrong. Sorry.

Re: FreeElectronics, a 4-state rule

PostPosted: March 9th, 2018, 7:44 am
by AforAmpere
There is no pushing reaction, only creating blocks.