Hyperstar Hard X-Notation
Complexed and very powerful notation with an unimaginable growth speed. New version of X-Notation.
Current Extensions
- Hard X-Notation
- Extended Hard X-Notation (HCCF)
- Superextended Hard X-Notation (EHCCF + NHCCF)
- Hyperextended Hard X-Notation (HEHCCF)
TAD
- Iterator - a chain of elements or other iterators (denoted as […])
- Element - positive natural number
- Chain - a set of iterators and elements
- Base - first element
- Recursion - repeating of an array ‘base’ times. ‘<…>’
- Iteration - repeating of elements of array ‘base’ times. ‘…’
- …(c) - repeating of elements of array ‘c’ times.
- :: - a part of a chain that does not transformed.
All rules from previous array types is applicable to arrays of follow types, which contain iterators of previous type.
Superscript for braces - count of braces.
Hard X-Notation
- $ X^{HD}{n} = n + 1 $
- $ X^{HD}{# ‘ 1} = X{#} $
- $ X^{HD}{n ‘ c + 1} = X{<…> ‘ c} $
- $ X^{HD}{#{min} ‘ 1 ‘ c + 1 ‘ #} = X{#{min} ‘ <…> ‘ c ‘ #} $
- $ X^{HD}{n[1]} = X{n ‘ n ‘ …} $
- $ X^{HD}{n[1] ‘ …(d) ‘ 1} = X{n ‘ n ‘ …[1] ‘ …(d)} $
- $ X^{HD}{n[1] ‘ …(d) ‘ c + 1} = X{n ‘ n ‘ …[1] ‘ …(d) ‘ c} $
- $ X^{HD}{n[1] ‘ …(d) ‘ #{min} ‘ 1 ‘ c + 1 ‘ #} = X{n[1] ‘ …(d) ‘ #{min} ‘ <…> ‘ c ‘ #} $
- $ X^{HD}{n[1] ‘ …(d) ‘ 1 ‘ 1 ‘ …(c + 1)} = X{n[1] ‘ …(d) ‘ n ‘ n ‘ …(c)} $
- $ X^{HD}{n[1] ‘ …(d) ‘ [1]} = X{n[1] ‘ …(d) ‘ n ‘ n ‘ …} $
- $ X^{HD}{n[c + 1 ‘ #]} = X{n[c ‘ #] ‘ [c ‘ #] ‘ …} $
- $ X^{HD}{n[c + 1 ‘ #] ‘ …(d) ‘ 1} = X{n[c + 1 ‘ #] ‘ …(d)} $
- $ X^{HD}{n[c + 1 ‘ #] ‘ …(d) ‘ 2} = X{n[c ‘ #] ‘ [c ‘ #] ‘ …[c + 1 ‘ #] ‘ …(d)} $
- $ X^{HD}{n[c + 1 ‘ #] ‘ …(d) ‘ e + 1} = X{n[c ‘ #] ‘ [c ‘ #] ‘ …[c + 1 ‘ #] ‘ …(d) ‘ e} $
- $ X^{HD}{n[c + 1 ‘ #] ‘ …(d) ‘ #{min} ‘ 1 ‘ e + 1 ‘ #} = X{n[c + 1 ‘ #] ‘ …(d) ‘ #{min} ‘ <…> ‘ e ‘ #} $
- $ X^{HD}{n[c + 1 ‘ #] ‘ …(d) ‘ 1 ‘ 1 ‘ …(e + 1) ‘ 2} = X{n[c + 1 ‘ #] ‘ …(d) ‘ n ‘ n ‘ …(e)} $
- $ X^{HD}{n[c + 1 ‘ #] ‘ …(d) ‘ [e + 1 ‘ #]} = X{n[c + 1 ‘ #] ‘ …(d) ‘ [e ‘ #] ‘ [e ‘ #] ‘ …} $
- $ X^{HD}{n[# ‘ 1]} = X{n[#]} $
- $ X^{HD}{n[1 ‘ 2]} = X{n[n]} $
- $ X^{HD}{n[#{min} ‘ 1 ‘ c + 1 ‘ #]} = X{n[#{min} ‘ <…> ‘ c ‘ #]} $
- $ X^{HD}{n[1 ‘ 1 ‘ …(c) ‘ 2]} = X{n[n ‘ n ‘ …(c)]} $
- $ X^{HD}{n[[1]]} = X{n[n ‘ n ‘ …]} $
- $ X^{HD}{n[[[1]]]} = X{n[[n ‘ n ‘ …]]} $
- $ X^{HD}{n[[[[1]]]]} = X{n[[[n ‘ n ‘ …]]]} $
Hash Chain Collapse Function
Note: γ - base of HSHXN expression. At the end of recursion: 0. Recursion of #_ξ = <…>_ξ. #_0 = #
- $ #(0) = γ $
- $ #(c + 1 ‘ ::) = #(c ‘ ::) ‘ #(c ‘ ::) ‘ …(γ) $
- $ 2 ‘ #(0) = #^γ(0) $
- $ c + 1 ‘ :: ‘ #(0) = c ‘ :: ‘ #^γ(0) $
- $ # ‘ 2(0) = <…> ‘ #(0) $
- $ # ‘ c + 1 ‘ ::(0) = <…> ‘ # ‘ c ‘ ::(0) $
- $ # ‘ …(d) ‘ #(0) = # ‘ …(d) ‘ <…>(0) $
- $ # ‘ …(d) ‘ # ‘ 2(0) = # ‘ …(d) ‘ <…> ‘ #(0) $
- $ # ‘ …(d) ‘ # ‘ c + 1 ‘ ::(0) = # ‘ …(d) ‘ <…> ‘ # ‘ c ‘ ::(0) $
Extended Hash Chain Collapse Function
Note: γ - base of HSHXN expression. At the end of recursion: 0. Recursion of #_ξ = <…>_ξ. #_0 = #
- $ #_{c + 1}(0) = #_c $
- $ #_c(e + 1 ‘ ::) = #_c(e ‘ ::) ‘ #_c(e ‘ ::) ‘ …(γ) $
- $ #_c(#) = #_c(<…>) $
- $ #_c(#_d) = #_c(<…>_d) $, d < c
- $ 2 ‘ #_c(#) = #_c^γ(0) $
- $ e + 1 ‘ :: ‘ #_c(#) = e ‘ :: ‘ #_c^γ(0) $
- $ # ‘ #_c(#) = <…> ‘ #_c^γ(0) $
- $ #_d ‘ #_c(#) = <…>_d ‘ #_c^γ(0) $, d < c
- $ #_c ‘ 2(#) = <…>_c ‘ #_c(0) $
- $ #_c ‘ e + 1 ‘ ::(#) = <…>_c ‘ #_c ‘ e ‘ ::(0) $
- $ #_c ‘ #_d(#) = #_c ‘ <…>_d(0) $, d < c
- $ #_c ‘ #_c(#) = #_c ‘ <…>_c(0) $
Nested Hash Chain Collapse Function
Note: γ - base of HSHXN expression. At the end of recursion: 0. Recursion of #_ξ = <…>_ξ. #_0 = #
- $ ##(0) = #{<…>} $
- $ #{# ‘ 2}(0) = ## $
- $ #{# ‘ #}(0) = #{# ‘ <…>} $
- $ #{#_1}(0) = #{<…>_0} $
- $ #{#_2}(0) = #{<…>_1} $
- $ #{#_3}(0) = #{<…>_2} $
- $ #{##}(0) = #{#{<…>}} $
And etc.