[有人可以解释{xy | x，y \ in {a，b} *，| x | = | y |}常规。显然答案是它只是长度字符串，但我看不出为什么是这种情况？
语言L = {xy | {a，b} *中的x，y，| x | = | y |}就是长度相等的单词的语言：
偶数长度的每个单词都在L中：如果{a，b} *中的w是偶数，则存在一些自然数k，使得| w | = 2 * k。因此，可以将w分为两个长度为k的单词，因此{a，b} *中存在x，y，从而w = xy和| x | = | y | = k。因此，w在L中。
L中的每个单词都具有偶数长度：考虑L中的w。然后根据L的定义，{a，b} *中存在x，y，使得| x | = | y | w = xy因此| w | = | xy | = | x | + | y | = 2 * | x |。因此，w的长度是偶数。
接下来，您必须证明L是规则的。您可以通过构造具有两个状态q0和q1的DFA来做到这一点，其中q0是起始状态，并且也可以接受。从q0读a或b带您到q1，从q1读a或b带您回到q0。那么，自动机游程在q0结束的单词恰好是偶数长度的单词。