exAAN

Extended Aarex Array Notation is an second part of Aarex's Array Notation. This part adds the separators.

Changes

Last time, the first level of AAN only reached w^w and have 1 separator only. In this time, we need multiple separators with 3 separator types; from the lowest-to-highest-rank to compare:

• , (comma)
• {n} (an number separator)
• {a A1 b A2 c A3 ...} (an array separator)

The comma is the low-rank, an number surrounding {} bracket is the middle-rank, and an array surrounding {} bracket is the high-rank. But we need process higher than the comma; we define the separator using these separator types above.

Separators

Separators is the object between the entries. Let define row of Ax as separators and define the separator:

• , is the lowest-ranking separator and it used by the linear arrays.
• {n} is the middle-ranking separator and it used by the non-hyper dimensional arrays.
• {a A1 b A2 c A3 ...} is the highest-ranking separator and it used by the hyper dimensional arrays.

There are finite layers of the separators, so we need to define the separator layer too:

• a() array entries are the separator layer 0.
• Separators on the array A in the are the separator layer, 1 more than A.

Now here is the definition, going faster into the tetrational array growth rate on BEAF.

Definition

The extended array notation look like this:

a(a,b,c A1 d A2 e...)x[y]

The integers a, b, c, etc.; are the entries, the Ax group are the separators where is between the entries, and the outermost "a" (like this can be place outside of the array entries) meaning this expression can be Aarex's Array Notation.

The first entry and second entry of AAN are called base and iterator.

The string x[y] is optional and can be removable. x and y means nester and multiplier. Outermost a and x are always be 'a' character and 'x' character.

Note: The comma symbol ',' is the replacement of {0}.

Rules and process

Every array needs to results in a number. To solve it, we need some rules and processes as follows: (Thanks to Nayuto Ito for helping me defining english version.)

• Rule 1: (base rule - if it have 3 entries and the 3rd entry is 0) a(a,b,0) = a*b
  • English: If it have 3 entries and the 3rd entry is 0, the whole expression will resulted as the multiplication product with a and b.
  • Rule 1a: (if it have 2 entries) a(a,b) = a(a,b,0)
    • English: If it have 2 entries, the whole expression will resulted as the multiplication product with a and b.
  • Rule 1b: (if it have 1 entry) a(a) = a(a,1,0)
    • English: If it have 2 entries, this will be resulted as the entry.
• Rule 2: (tailing rule - if the last entry is 0) a(# 0) = a(#)
  • English: Remove the tailing zeroes in the last entries.
  • Rule 2a: (in separators) {# 0} = {#}
    • English: Remove the tailing zeroes in the last entries on the separators.
  • Rule 2b (if B > A): (different spaces) {# A 0 B %} = {# B %}
• Rule 3: (recursion rule - if the 3rd entry isn't 0, but there is no nester) a(a,b,c #) = a(a,b,c-1 #)x[b]
  • English: If the third entry is not 0, subtract the entry by one and add 'x[b]' in the end of the expression.
• Rule 4: (nesting-end rule - if nester and multiplier are exists and multiplier is 1) a(#)x[1] = a(#)
  • English: If the nester are exists and multiplier is 1, remove 'x[1]' in the end.
• Rule 5: (nesting rule - if nester and multiplier are exists and multiplier isn't 1) a(a,b #)x[y] = a(a,a(a,b #)x[y-1] #)
  • English: If the nester are exists and multiplier isn't 1, replace the second entry with the original array, but subtract y by one; then in the original array, remove 'x[y]' in the end.

where # and % is the part of array (a string of separators between the entries or empty string.)

If neither of 5 rules applied, start the process shown below. First, start from the third entry.

• Case A: If the entry is 0, move on to the next entry.
  • English: Else, find the third non-zero entry.
• Case B: If the entry is not 0:
  • Decrease the entry by 1.
  • Case B1: If there is the comma in the left:
    • Change the previous entry to the iterator.
    • This process ends.
    • English: If there is the comma in the left of the entry; then subtract the entry by one, then change the previous entry with the second entry.
  • Case B2: If there is the {x #} in the left:
    • Define S0 and Sn as '1' and '0{x-1 #}Sn-1'
    • Replace the previous entry with Sb.
    • This process ends.
    • English: If there is the separator in the left of the entry, and the first entry in the separator is not 0; then define S0 and Sn as '1' and '0{x-1 #}Sn-1' and replace the previous entry to the second entry within S variable.
  • Case B3: If there is the separator in the left and case B2 did not applied:
    • Copy the separator to R.
    • Replace the entry before the separator with '0 R 1'.
    • Continue the process within R separator, beside the process with a(x,y,z).
    • English: If there is the separator in the left of the entry, and the first entry in the separator is 0; then copy the separator to the previous entry, and continue the process to the copied separator.

Separator Levels

Since we have multiple separators, why we have separator levels? It have the function lv(). {} will be any separator and comma will be the lowest separator level. To compare, we need 2 functions as lv(A) and lv(B) and start at case 1. Set the comma into {0}.

• Case 1: If A and B were all numbers, then use this case; else go to Case 2.
  • If A < B, then lv(A) < lv(B) and finish.
  • If A > B, then lv(A) > lv(B) and finish.
  • If A = B, then lv(A) = lv(B) and finish.
• Case 2: Find the highest separator possible and call it H. Then find the amounts of H and call it A' and B'.
  • If A' < B', then lv(A) < lv(B) and finish.
  • If A' > B', then lv(A) > lv(B) and finish.
  • If A' = B', then go into case 3.
• Case 3: Find the array preceded by the first H separator and call it A' and B'.
  • If lv({A'}) < lv({B'}), then lv(A) < lv(B) and finish.
  • If lv({A'}) > lv({B'}), then lv(A) > lv(B) and finish.
  • If lv({A'}) = lv({B'}), then remove A' and B' and the first H separator that isn't removed, then:
    • If the separator was {}, then lv(A) = lv(B) and finish.
    • Else, repeat case 3.