 Thema: 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
|
|
| Thema: Dea- Sprache Und Behauptung! Bitte Um Hilfe |
|
|
Hallo Ihr Lieben,
ich brauche mal eure intelligenten Köpfe.
Für den Automaten soll mittels Induktion gezeigt werden, dass A die von mir angegebene Sprache akzeptiert. Habt Ihr eine Idee welche Sprache der DEA aktzeptiert?
DEA hier:
directupload.net/file/d/4629/w3lqu8f5_png.htm
Und vor allem: Leider machen mir die Behauptungen, die ich für die Induktion aufstellen muss Probleme. Wie unterscheidet sich der Zustand B von A? Das Wort muss auf 0 enden reicht ja leider nicht. Da man so auch in A landen kann.
Liebe Grüße, Daniel
|
|
|
