xxx04
Grünschnabel
Dabei seit: 11.02.2017
Beiträge: 2
|
|
Kontextsensitiv, Abschlusseigenschaft |
|
Hey,
L1= {0 (hoch a) 1 (hoch a) 2(hoch a) | a aus N} ist ja bekanntlich kontextsensitiv.
Wie lässt sich mit Hilfe der Abschlusseigenschaften zeigen, dass
L2={a (hoch c) b (hoch j) d (hoch k) |c =! j oder c=! k oder j =! k mit c,j,k aus N} auch kontextsensitiv ist.
Ich habs über das komplement von L1 versucht und dann mit dem Schnitt, aber bekomms leider nicht hin
Bitte um hilfe.
Liebe Grüße, Daniel
|
|