Kontextsensitiv, Abschlusseigenschaft

Neue Frage »

Auf diesen Beitrag antworten »
xxx04 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 unglücklich


Bitte um hilfe.
Liebe Grüße, Daniel
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »