标签： theory computation
我必须证明以下语言的规律性：{xy∈{a，b} * | | X | a = 2 | Y | b }，其指的是xy形式的单词，其中子单词x中出现的次数是子单词y中b的出现次数的两倍。我怀疑它是常规的，但我不知道如何演示它。
提前致谢