PDA

View Full Version : Beispiel 2.2

willi.m
15-10-2008, 21:58
Mein Vorschlag
Gerros
17-10-2008, 17:49
nur mal ne Frage: laut der Angabe müsste doch in der Sprache epsilon enthalten sein, wird das bei deiner lösung berücksichtigt bzw. gibt es überhaupt ein epsilon in DEA oder nur in NEA?
willi.m
17-10-2008, 19:46
netter einwand
imho gibts im DEA keine epsilon-kanten
Aber wir können einfach den Startzustand zu einem Endzustand machen
und damit auch a, ab, abb weil auch diese gültig sind...
Fresh Prince
17-10-2008, 20:05
@willi.m ich bin mir nicht ganz sicher ob deine Endzustände korrekt sind13241
So sieht mein Automat aus!
willi.m
17-10-2008, 20:10
unsere lösungen sind bis auf die endzustände ident.
abb ist gültig
abb fällt nicht in - (abb)*(abc)
Fresh Prince
17-10-2008, 20:15
Stimmt (abb)* habe ich vollkommen vergessen, na dann passt ;)
schrankk
20-10-2008, 23:57
habt ihr alle auch zuerst Komplement zu L dargestellt (inkl. Falle), und dann End- und Nichtendzustände vertauscht?!

In meinem Graphen gibt es um einen Knoten weniger, nämlich "abb" gibt es nicht, sondern falls nach Kombination "ab" tritt "b" auf, kehrt Graph in Anfangszustand zurück (damit Automat wieder mal versucht, die nowendige Endkombination "abc" zu bilden)! Naja, und falls nach "ab" kommt "c", dann geht er in Endzustand.

P.S.
Ich habe meinen Komplement-Graph beschrieben.
georgfu
21-10-2008, 00:01
is es beim aktuellen lösungsvorschlag nicht auch möglich, in q5 "abbabc" zu bilden, was ja nicht erlaubt sein dürfte?
oder ist es gültig, sobald vor dem "abbabc" oder auch nur "abc", was anderes steht?
Guybrush333
21-10-2008, 00:27
nein, abbabc ist kein endpunkt
georgfu
21-10-2008, 00:30
das heißt z.b.: "babbabc" soll akzeptiert werden?
willi.m
21-10-2008, 01:04
@schrankk
Stimmt ist geändert
xtuxbox
22-10-2008, 17:06
Also ich bin mir noch nicht ganz sicher ob ich das jetzt so richtig verstanden habe. Wird nicht akzeptiert:
z.B abb, abbabb, abbabc, abbabbabc, abc usw.
Wird akzeptiert
aabb, aabbabc, aabc usw. also immer wenn die ober Konstellation nicht gegeben ist.

mfg
Pagat
22-10-2008, 19:19
[...] Wird nicht akzeptiert:
z.B abb, abbabb, abbabc, abbabbabc, abc usw.
[...]

also ich habe das so verstanden, dass nur abbabc, abbabbabc, abbabbabbabc, usw. nicht in L sind.

/edit:
somit sollte "abba" oder "cabbabc" eine Lösung sein.
Sind nicht eigentlich die beiden Lösungen hier falsch, da bei beiden "abba" nicht zu einem Endzustand führt?
xtuxbox
22-10-2008, 20:15
abba führt in einen endzustand genau so wie nur a das stimmt schon
abc jedoch nicht und nur abb auch nicht.
also ist es nun richtig dass diese auch nicht akzeptiert werden sollen laut angabe?

mfg
Pagat
23-10-2008, 10:17
aaah, ich habe nicht alle endzustände als solche erkannt.
Quintupel lesen hilft.... :)

abb führt auch in einen endzustand, der start- ist auch endzustand.