User:Username5243/Introduction and analysis of UNAN p2

Back to page 1

Gamma stage
In this stage, I will introduce a new symbol - the /. Then I will use subscripts like before to take us even further.

XVII: Enter the Slash
In this part, I introduce the slash smbol, /. The / is a very high ranking separator. It works similar to the ,, in SAN.

When you have a slash, it works like this: First find the "diagonalization part" of the separator with the /. To do this, look for the first part separated by /'s that doesn't start with 0 (if it starts with 0, but isn't a single 0, decompose it normally). Then replace the last n by n-1, and the previous 0 becomes the "nesting point" - that's where the layers are repeated.

So 0{0/1}1 becomes nests of 0{0{x/0}0}0, while 0{0{0/1}2}1 becomes nests of 0{0{x}1{0/1}1}1. 0{0/0/1}2 becomse nests of 0{0/0{0/x/1}1}1{0/0/1}1.

In fact, {x/0} = {x}, {x/1} = {x}1, {x/2} = {x}2, {x/0,1} = {x}0,, {x/0{0/1}1} = {x}0 11, and {x/y} = {x}y. And {0/a} corresponds to \(\Omega_\alpha\).

In this section we introduce the {x/0/1} separators. {0/0/1} serves as diagonalizer of {0/x}. here are the comparisons:

Coming soon