多项式时间减少传递性证明

Question

我只是想看看是否有人可以在下面的陈述中清楚“字母”的含义。

“召回：对于多项式时间减少≤p，L≤pM意味着存在可计算性 函数f：L的字母表→M的字母表，使得x∈Lifff（x）∈M。“

它证明了多项式简化的传递性。

Answer 1

字母表是构造语言（在这种情况下为L或M）的符号集。