为常规语言抽取引理：我们可以将第一个条件修改为“对于每个 i > 0”吗？
[英]Pumping Lemma for regular language: Can we modify the first condition to 'for each i > 0'?
原文
2019-05-30 08:45:13
3
1
computer-science/
regular-language/
pumping-lemma/
finite-state-automaton
问题描述
从< Introduction_to_the_Theory_of_Computation >抽取引理"
问题：我们可以将第一个条件修改为for each i > 0而不是for each i ≥ 0吗？
1 个解决方案
解决方案1
0 2022-08-25 07:03:47
是的，你可以这样做。但是它使抽水引理变得不那么有用。 我们使用抽取引理来告诉语法不规则，它甚至不一定适用于所有非常规语言进一步限制其适用性很好但没有必要，特别是因为证明方法意味着您可以将 substring 抽下来以及向上。
有没有正则语言和不规则语言可以联合得到正则语言？
[英]Is there a regular language and irregular language that can be unioned to get a regular language?
如何证明 L = {a^jb^kc^kd^k: j, k ≥ 1} ∪ {b^jc^kd^l: j, k, l ≥ 0} 满足 CFL 的泵浦引理？
[英]How to prove that L = {a^j b^k c^k d^k: j, k ≥ 1} ∪ {b^j c^k d^l : j, k, l ≥ 0} satisfies the pumping lemma for CFL’s?
如何修改广度优先搜索算法以包含解决方案路径？
[英]How can I modify the breadth-first search algorithm to also include the solution path?
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.