如何正确解释哈希方案的递归伪代码

我尝试按照这篇论文(默多克的硬化无状态会话cookie)来实现一种盐化机制。下面的伪代码描述了该代码:

a[0](salt, password ) = H(salt||password )  
a[x](salt, password ) = H(a[x−1](salt, password )||password )  

H:加密安全哈希函数
x:哈希迭代计数
答:身份验证
salt:每个帐户，加密安全伪随机数约为128位
密码:明文用户pw

我想知道php的实现是否应该如下:

$a0 = hash('sha256', $salt | $password);
$auth = recursiveHash($a0, $password, 256)
function recursiveHash($salt, $password, $counter) {
    if ($counter === 0) {
        return hash('sha256', $salt | $password);
    } else {
        $counter--;
        return $this->recursiveHash(hash('sha256', $salt | $password), $password, $counter);
    }
}

总的来说:我确实为准确的语法解释而挣扎。$varOne， $varTwo是什么意思?它是最后一个函数调用的结果吗?是一个位或运算符?为什么不是一个呢?

是什么意思?

c = a[n](salt, password )

是否与

相同(当n == x时):

a[x](salt, password ) = H(a[x−1](salt, password )||password )

如果有人能帮我解释一下这篇论文的语义和语法，我将非常高兴。

a[0](salt, password) = H(salt || password )  
a[x](salt, password) = H(a[x−1](salt, password) || password)

a[0](salt, password) = H(salt || password )
a[1](salt, password) = H(a[1−1](salt, password) || password) = H(a[0](salt, password) || password) = H(H(salt || password) || password)
a[2](salt, password) = H(a[1](salt, password) || password) = H(H(H(salt || password) || password) || password)