3、算法元定理与单词方程求解

算法元定理与单词方程求解

单词方程转换算法

首先介绍一个名为 TransformEq(U, V) 的算法，它在处理单词方程时起到重要作用。以下是该算法的具体步骤：

Algorithm 3. TransformEq(U, V )
1: P ← list of explicit ab’s in U, V.
2: P ′ ← crossing ab’s
▷ Done by guessing first and last letters of each σ(X),
|P ′| ≤ 4n
3: P ← P \ P ′
4: for ab ∈ P do
5:
    CompNCr(U, V, ab)
6: for ab ∈ P do
7:
    CompCr(U, V, ab)
8: return (U, V )

这个算法的主要流程如下：
1. 初始化 P ：将 U 和 V 中显式的 ab 组合列表赋值给 P 。
2. 确定 P' ：通过猜测每个 σ(X) 的第一个和最后一个字母来找出交叉的 ab 组合，将其存储在 P' 中，并且 P' 的大小不超过 4n