Informatiker Board | formale Sprachen | Kontextsensitiv, Abschlusseigenschaft

Informatiker Board » Themengebiete » Theoretische Informatik » formale Sprachen » Kontextsensitiv, Abschlusseigenschaft » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Der letzte Beitrag

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