7、时间粒度集合推理与最终周期自动机

时间粒度集合推理与最终周期自动机

1. 算法概述

首先给出了一个算法（Algorithm 2.14），其伪代码如下：

for each 1 ⩽i ⩽|u|
    do
        C(i) ←A∞
for each |u| + 1 ⩽i ⩽|u| + |v|
    do
        j ←Normalize(u, v, i + |v| −1)
        C(i) ←AppendRepetition(B(i, j), ω, Aε)
for each 1 ⩽n ⩽|u| + |v| −1
    and
    1 ⩽i ⩽|u| + |v|
    do
        i′ ←Normalize(u, v, i + 1)
        D0 ←AppendChar(w(i), C(i′))
        for each 1 ⩽r ⩽2|u| + 2|v| −1
            do
                q ←Q(i, i + r −1)
                i′ ←Normalize(u, v, i + r)
                Dr ←AppendRepetition(A(i, i + q −1), r/q, C(i′))
        C(i) ←BestStatesNum(C(i), D0, D1, ..., D2|u|+2|v|−1)
return C(1)

这个算法主要是对一些变量进行初始化和更新操作，通过循环和函数调用，最终返回 C(1) 的值。

2. 时间粒度集