---

Geschrieben von xxx04 am 13.02.2017 um 17:17:

  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