有没有什么窍门可以通过查看语言来猜测语言是否正规? 为了选择证明方法,我首先必须有一些假设。您是否知道在解决长期问题时需要减少时间消耗的任何提示/模式? 例如,为了不花费时间抽水引理,当语言是规则的,我不想构建DFA /语法。 例如: 1. L={w ε {a,b}*/no of a in (w) < no of b in (w)}
2. L={a^nb^m/n,m>=0}
如何分辨它是通过
我有一个测试来使用抽象引理来证明一种语言是否无上下文。我试图解决一些练习问题,事情并没有那么好... 练习问题是: 对于a)到j),证明下列语言是否是上下文无关的。如果它是无上下文的,则提供一个生成它的上下文无关语法。 前两个是: a) {a^(2i+1) b^(3k+2) c^(4k+3) d^(5i+4) | i >= 0, k >= 0}
b) {a^i b^i c^k d^i | i
我正在努力解决以下问题。我应该使用抽象引理或常规语言闭包,但我不能为这两个问题提出解决方案。任何洞察力将非常感谢它。谢谢。 对于以下每种语言证明它是定期或证明它是不正规: 1) {a^m b^n c^k: m>n>k}
2) {u that belong to {0,1}^* : u begins with 1001 and does not end with 0010}
我当它涉及到数字