Diskussion:Ogdens Lemma

Die Löschung der Seite „Ogdens Lemma“ wurde ab dem 31. Mai 2006 diskutiert und abgelehnt. Für einen erneuten Löschantrag müssen gemäß den Löschregeln neue Argumente vorgebracht werden.

MoH: Definition nun kompatibel zu den pumping lemmata

Ogdens Lemmaliefert unter anderem ein Pumping Lemma für deterministisch kontextfreie Sprachen!!!!

Es ist nicht das allgemein bekannte Pumping Lemma fur KfS.

Der Begriff "Markierung"

..ist mir leider fremd, kann mir jemand erlaeutern in welcher Literatur wir den finden? :-) Dann koennte man dazu eventuell auch noch nen kurzen Artikel schreiben oder zumindest irgendwo erklaeren was das genau bedeutet. Ich nehme mal an soviel wie "betrachtet"? --Schwarzer8Kater 10:20, 19. Feb. 2008 (CET)

Einführung einer vierten Bedingung rückgängig gemacht

Kürzlich wurde z = uvwxy mit in die Nummerierung aufgenommen, so dass dies Bedingung 1 wurde, und die anderen zu 2,3 und 4 wurden. Dadurch haben sämtliche Bezüge im weiteren Text nicht mehr gestimmt. Man hätte zwar jetzt den Rest anpassen können, aber ich habe stattdessen diese "Bedingung" wieder raus genommen, denn in der Literatur scheint man auch oft drei Bedingungen, und nicht vier. --Prauch 12:33, 17. Feb. 2010 (CET)

Beispiel

Vielleicht wäre eine erklärung warum das normale Pumping-Lemma hier nicht ausreicht angebracht. -- Hannoman 16:52, 8. Feb. 2011 (CET)

Die Sprache verlangt, dass WENN $a^{i},i>0$, DANN $b^{n}c^{n}d^{n}$. Wenn also i=0, kann $a^{j}b^{k}c^{m}$ für $j,k,m$ frei gewählt werden. Also: wenn $i=0$ kann man beliebig zerlegen, so dass vx nur in b oder nur in c oder nur in d liegen; ansonsten Zerlegung so wählen, dass vwx nur in a liegt. Auch dann kann immer gepumpt werden. (Diskussion | Beiträge) 16:55, 27. Mär. 2012 (CEST))

Markierung

Muss die Markierung zusammenhängend sein? --MartinThoma 21:09, 22. Jan. 2012 (CET)

Ich vermute nicht, da hier (Folie 117) steht:

"Werden in z mindestens n (beliebige) Buchstaben markiert".

Sicher bin ich mir aber immer noch nicht --MartinThoma 12:36, 18. Feb. 2012 (CET)