大數學 维基
Advertisement

扩展E系统(英语:Extensible-E System,简称ExE)是由Sbiis Saibian所发明的一种数阵记号。目前包含以下几种记号,每种均是前种记号扩展而来,未来还有可能继续扩展:

ExE也可以被称为SAN(Saibian's Array Notation),这相当类似BAN(Bird's Array Notation,即鸟数阵记号)和HAN(Hyperfactorial Array Notation或Hollom's Array Notation,即超阶乘数阵记号)。

基础[]

每个ExE记号的形式均为Ea&a&...&a&a,其中每个a均为正整数,&为分隔符。分隔符是由给定的记号所定义的特殊字符串:

  • 超E的分隔符只能为#
  • 扩展超E允许一个或多个#
  • 连锁E添加^*()
  • 扩展连锁E添加>+
  • 超扩展连锁E添加{}

其中较后面的符号为了厘清某些分隔符的定义,还介绍了它们对应的基本序列

所有ExE记号均按照五条基本规则运作。这些基本规则是按照顺序排的,先从第一条开始,如果不符合上条规则才应用这条规则。这五条规则分别为:

1.基础情形 如果只有一个参数:En = 10^n

2.分解情形 如果最后一个分隔符是decomposable:@m&n = @m&[n]m

3.终止情形 如果最后一个参数 = 1:@&1 = @

4.扩展情形 如果最后一个分隔符不是原始海柏利昂:@m&*#n = @m&m&*#(n-1)

5.递回情形 @m#n = @(@m#(n-1))

这些规则有某些隐含条件,例如应用分解情形的前提是必须要有两个以上的参数。这是因为如果要应用分解情形,基础情形的条件必须不成立,而这代表会有两个以上的参数。因此,虽然最后的规则没有条件,但它事实上必须要有一些前提,即必须至少有两个参数、最后一个参数大于1、最后的分隔符是原始海柏利昂。

对于某些较前级的符号,一些规则可能永远不适用。如在xE#里,没有decomposable的分隔符,所以第2条永远不适用。在E#里,只有proto-hyperion分隔符,因此第2条和第4条永远不适用。

外部连结[]

Advertisement