我必须证明有理或常规语言的集合是通过字母上的变态来封闭的。
即通过词素的理性语言形象仍然是理性的。
h是从Σ到Σ'的一个变态，我的想法是从一个自动机A开始并构造一个能够识别h（L（A））语言的自动机A'。
然后我使用相同的初始状态和最终状态，对于A中的任何过渡（q，a，q'），我考虑3种情况：
1）如果h（a）=ε，则添加状态q，q'（如果它们在A'中尚不存在）和ε过渡（q，ε，q'）
2）如果h（a）= b∈Σ'，则添加状态q，q'（如果它们在A'中尚不存在）和过渡（q，b，q'）
3）如果h（a）= b_1b_2 ... b_n∈Σ'*，我添加状态q，q'（如果它们在A'中尚不存在）加上n-1个新状态，并且从（q，b_1，q_1）到（q_ {n-1}，b_n，q'）
然后很容易地证明在构造步骤中h（L（A））包含在L（A'）中，但是我正努力证明相反，即包含L（A'）在h（L（A））