算法的数学定义的疑惑

在看knuth老爷子的ACP，第一小节中数学定义让我很疑惑。

算法可以表示为 （ Q,  I , omiga, f ),  然后一段长长的explain & analyses

最后给出了一组有限制的公式，如下

f((deita, j)) = (deita, a(j))   if theta(j) does not occur in deita;

f((deita,j)) = (a*theta(j)*omiga, b(j))    if a is the softest, possible string for which deita = a*theta(j)*omiga,  (其实就是上面的eles的情况）

f((deita, N)) = (deita, N)

这段公式的含义到底是想说明一个什么问题呢？（请理解我不想费劲的把那一坨公式标准的贴上来）

难道就是为了说明，对于 0 <= j < N, 每一种执行可能有两种情况，输入变化，和没有变化？

对于N，就是结果。

难道这是这个公式想说明的问题么？谁能帮忙分析和解答一下呢？