3
简单有限正则语言的抽取引理
维基百科对常规语言的抽水引理有以下定义... 令为常规语言。然后存在一个整数 ≥1仅取决于使得每个字符串在至少长度的（被称为“抽长度”）可被写为 = （即，可分为三个子字符串），满足以下条件：p L w L p p w x y z wLLLpppLLLwwwLLLppppppwwwxyzxyzxyzwww | | ≥1yyy | | ≤pxyxyxyppp 对于所有 ≥0， ∈X ÿ 我 ž 大号iiixyizxyizxy^izLLL 我看不到对于简单的有限规则语言是如何满足的。如果我有{字母表 }和正则表达式然后只包含一个字，其中接着。现在，我想看看我的普通语言是否满足抽水式引理。a b L a ba,ba,ba,babababLLLaaabbb 由于在我的正则表达式中没有任何重复，因此的值必须为空，以便对所有都满足条件3 。但是，如果是这样，则它会失败，条件1说长度必须至少为1！我ÿyyyiiiyyy 相反，如果我让为，或那么它将满足条件1但失败条件3，因为它实际上从未重复过。a b a byyyaaabbbababab 我显然很想念一些显而易见的东西。哪一个