扩展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条永远不适用。