Wie zeige ich das ww mit w∈{a,b} nicht kontextfrei ist?
Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
wenn n die pumping zahl ist wählst du l(w) = n also is ww genau 2n lang. jetzt muss aber uvwxy = ww sein, |vwx| ≤ n und |vx| ≥ 1. vwx erstreckt sich also über maximal ein w, wenn vxw nur eins der beiden w’s abdeckt is ja klar das die symetrie verloren geht (oder?). wenn vwx beide w’s (zum teilo) abdeckt kann man also ww so schreiben
stst (w = st) und vxw erstreckt sich über ts (das in der mitte). pumpen macht also sttsst und stt ≠ sst. also nicht in L(G).
ja du hast recht.
hmm… steht im skript nicht das beispiel mit w = 2n und ww = 4n länmge? das würde dieses beispiel erklären. hmhmhmhmhmhmhmhm… ich muss d amorgen mal drüber nachdenken. sorry