Rule:HardyArex

@RULE HardyArex

A rule by Moooosey, and hypothetical future collaborators, which evaluates the hardy hierarchy subscripted with an expression in AREX notation.

Simple rules: Find closing parenthesis at the end -> remove along with matching open parenthesis, then we carry everything in between back Find A at the end -> remove and add one state seven cell to the state seven stack

Complex rules: Find R at the end -> pain Find E at the end -> carrier state madness, but at least we don't move a buncha stuff over, after all #1(#2)E[n+1] = #1(#2)(#2)E[n]

Note to self 8 1 2 7 s 3 6 5 4

@TABLE n_states:26 neighborhood:Moore symmetries:none

1. 0 -> empty space
2. 1 -> A
3. 2 -> R
4. 3 -> E
5. 4 -> X
6. 5 -> (
7. 6 -> )
8. 7 -> represents what you’re taking the hardy hierarchy of in unary
9. 8 -> R being resolved
10. 9 -> E being resolved
11. 10 -> state 7 we've already accounted for in this fs-ing
12. 11 photon checking for end
13. 12 photon found end
14. 13 photon found A
15. 14 photon found R
16. 15 photon found E
17. 16 photon found )
18. 17 temp A
19. 18 photon returning to start
20. 19 leftwards +1
21. 20 copy bound left
22. 21 [ - marked left paren (ignored)
23. 22 ] - marked right paren (ignored)
24. 23 check back parens
25. 24 { - marked left paren
26. 25 } - marked right paren
27. <various carrier/temp states>

var any1 = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22} var any2 = any1 var any3 = any1 var any4 = any1 var any5 = any1 var any6 = any1 var any7 = any1 var any8 = any1 var notleftparen = {0,1,2,3,4,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22} var nonzero1 = {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22} var nonzero2 = nonzero1 var nonzero3 = nonzero1 var nonzero4 = nonzero1 var nonzero5 = nonzero1 var nonzero6 = nonzero1 var nonzero7 = nonzero1 var nonzero8 = nonzero1 var anyarex0.1 = {0,1,2,3,4,5,6} var anyarex0.2 = anyarex0.1 var anyarex0.3 = anyarex0.1 var anyarex0.4 = anyarex0.1 var anyarex0.5 = anyarex0.1 var anyarex0.6 = anyarex0.1 var anyarex0.7 = anyarex0.1 var anyarex0.8 = anyarex0.1 var anyarex1 = {1,2,3,4,5,6} var anyarex2 = anyarex1 var anyarex3 = anyarex1 var anyarex4 = anyarex1 var anyarex5 = anyarex1 var anyarex6 = anyarex1 var anyarex7 = anyarex1 var anyarex8 = anyarex1

1. re: initial photons

11 any1 any2 any3 any4 any5 any6 any7 any8 0 0 anyarex1 any2 any3 any4 any5 any6 11 any8 11 0 0 any2 any3 any4 any5 any6 11 any8 12

1. re: photon identifies end

12 any1 any2 any3 any4 any5 any6 any7 1 13 12 any1 any2 any3 any4 any5 any6 any7 2 14 12 any1 any2 any3 any4 any5 any6 any7 3 15 12 any1 any2 any3 any4 any5 any6 any7 6 16

1. re: A

13 any1 any2 any3 any4 0 nonzero6 any7 any8 18 13 any1 any2 any3 any4 nonzero5 any6 any7 any8 0 0 13 any2 any3 any4 any5 any6 7 any8 7 1 any1 any2 0 13 any5 any6 any7 any8 17 18 any1 any2 any3 any4 7 any6 any7 any8 0 18 any1 any2 any3 any4 0 any6 any7 0 11 18 any1 any2 any3 any4 0 any6 any7 nonzero8 0 17 any1 any2 any3 any4 18 any6 any7 any8 0 0 any1 any2 18 7 any5 any6 any7 any8 18 0 any1 any2 18 7 any5 7 any7 any8 18 0 nonzero1 any2 18 any4 any5 any6 any7 any8 18 0 0 any2 any3 any4 any5 7 13 any8 13 0 any1 any2 13 any4 0 any6 any7 any8 19 19 any1 any2 any3 any4 any5 any6 any7 any8 0 0 any1 any2 19 any4 0 any6 any7 any8 19 0 19 any2 any3 any4 any5 any6 7 any8 7 13 any1 any2 any3 any4 any5 any6 19 any8 18

1. re: parens

6 any1 any2 0 16 any5 any6 any7 any8 25 16 any1 any2 any3 any4 any5 any6 any7 any8 0 0 any1 any2 16 any4 any5 any6 any7 notleftparen 16 0 any1 any2 16 any4 any5 any6 any7 5 23 5 any1 any2 any3 any4 23 any6 any7 any8 24

1. re: E (who cares about R lol)

@COLORS 0 0 0 0 7 255 255 255 10 127 127 127