编译原理的小证明题 求大神解答

[demo_manager]

证明：语言{0^m1^m|m>=1}不能用正规式描述

一道十分的题，证明了一下感觉怪怪的
求大神给个完整的证明过程啊。。。

[Morrisss_]

S->AB, A->0A, B->1B

[demo_manager]

引用 1 楼 oYinGui1 的回复:

S->AB, A->0A, B->1B

谢谢你啦 这个类型的题我的教材里没有的 不知道怎么下手 是只要证明对应的产生式没有出口就行了吗。。。。。。。。。

[FancyMouse]

证明一个language不是regular language用的是标准的pumping lemma。你先把pumping lemma看懂，然后用pumping lemma说明矛盾。 这个的确得仔细看。我当年学的时候班级里大半都花了挺长时间理解的。

[Morrisss_]

写出合理的产生式就差不多了，只要能推出你要证明的结果。

[demo_manager]

引用 4 楼 FancyMouse 的回复:

证明一个language不是regular language用的是标准的pumping lemma。你先把pumping lemma看懂，然后用pumping lemma说明矛盾。 这个的确得仔细看。我当年学的时候班级里大半都花了挺长时间理解的。

好的 谢谢