我觉得白痴在这里张贴了这么简单的问题,但这个网站的知识库真是太棒了。谢谢你的理解。
关于找到正则表达式的最小抽水长度(关于常规语言的抽水引理)的问题:
正则表达式R = 1011(在字母{0,1}上)
不是唯一匹配此字符串ε(空字符串)和1011?
编辑 - 我一直在盯着太多的克莱恩星。空字符串ε不是这种语言。常规语言的属性表明,如果一种语言可以用有限自动机(或正则表达式)表示,那么它是常规的,当然这个可以由两者表示。 (这个问题显然让我相信这种语言是正常的)
但另一方面,泵浦引理(非正式地)表明所有常规语言都具有抽吸长度,其中至少该长度的所有字符串可以被分成xyz,其中y可以重复而不影响结果。 ε不能按定义抽取,1011不能抽(我不认为,这是问题),因为没有其他字符串匹配它,所以删除或添加y的实例将导致一个不被接受的字符串/匹配。
我的逻辑错误在哪里?
第二次编辑 - 对于任何p> 4的答案,可以通过将x或y或z设置为φ(空集)来抽取语言,当与任何内容连接时会产生空集?
答案 0 :(得分:1)
泵浦引理对于有限语言并不太有用。所有的finiate语言都是常规的 - 例如,在你的情况下,你可以将你的“抽水长度”设置为4.在空的意义上,所有超过该长度的单词都可以被抽出:)