Kann jemand eine Lösung eingeben zum Vergleich.Wäre nett.Danke.
L = {a,b}*\ ({a}* u {b}*)
a) geben sie bitte den automaten an
für einen NFA(2Pkt)
für einen DFA(3PKT)
ich versteh die Aufgabenstellung nicht wirklich
L = {a,b}*\ ({a}* u {b}*)
soll das {a,b}* ohne {a}* Vereinigt {b}* heißen?
wir haben die Aufgaben auch so in Forum gefunden.Ich glaube es soll ohne {a}* und {b}* sein.
ich versteh die Aufgabenstellung nicht wirklich
L = {a,b}*\ ({a}* u {b}*)
soll das {a,b}* ohne {a}* Vereinigt {b}* heißen?
Ein Beispiel dafür, dass das Umformulieren in natürliche Sprache
eine Aufgabenstellung nicht eindeutig macht [img]
http://www.fb18.de/gfx/7.gif[/img]
Hier ist wohl [img]
http://mokrates.de/cgi-bin/texstring?L%3D%5C%7Ba%2Cb%5C%7D%5E*%5Csetminus%20(%5C%7Ba%5C%7D%5E*%5Ccup%5C%7Bb%5C%7D%5E*)[/img] gemeint.
Und, wie so oft, geht man die Aufgabe an, indem man die Sprache
anders beschreibt. L enthält nämlich genau die Wörter, die sowohl
mindestens ein a als auch mindestens ein b enthalten. Und daraus
kann man jetzt leicht einen Automaten konstruieren.
ich versteh die Aufgabenstellung nicht wirklich
L = {a,b}*\ ({a}* u {b}*)
soll das {a,b}* ohne {a}* Vereinigt {b}* heißen?
Ein Beispiel dafür, dass das Umformulieren in natürliche Sprache
eine Aufgabenstellung nicht eindeutig macht [img]http://www.fb18.de/gfx/7.gif[/img]
Hier ist wohl [img]http://mokrates.de/cgi-bin/texstring?L%3D%5C%7Ba%2Cb%5C%7D%5E*%5Csetminus%20(%5C%7Ba%5C%7D%5E*%5Ccup%5C%7Bb%5C%7D%5E*)[/img] gemeint.
Und, wie so oft, geht man die Aufgabe an, indem man die Sprache
anders beschreibt. L enthält nämlich genau die Wörter, die sowohl
mindestens ein a als auch mindestens ein b enthalten. Und daraus
kann man jetzt leicht einen Automaten konstruieren.
Bist du dir da sicher?
Warum wird denn der transitive Abschluss über die Menge {a,b} gebildet, wenn von beiden mindest. ein Exemplar da sein soll?
\ ({a}* u {b}*) = heißt das nicht, dass nicht beide (a und b) =<
0 sein dürfen, eins alleine aber schon?
Georg hat Recht.
Du hast {a,b}*, da ist alles drinnen, was man irgendwie aus as und bes machen kann, also auch Wörter, die nur aus as oder nur aus bs bestehen und ebenso das leere Wort. Die nimmst du aber raus, indem du sagst "ohne" {a}* vereinigt {b}*. Das sind nämlich a) das leere Wort b) alle Wörter die nur aus bs bestehen und c) alle Wörter die nur aus as bestehen.
Man könnte natürlich, so wie du vermutlich denkst, gleich von {a,b}+\( {a}+ vereinigt {b}+ ) ausgehen. Is Jacke wie Hose. Verschiedene reguläre Ausdrücke können die gleiche Sprache beschreiben.
ok der Groschen ist gefallen - danke
ist das richtig?
DFA:
A:=( {x,y}, {a,b}, K ,{x},{x,y})
K:={ (x,a,y),(x,b,y),(y,a,x),(y,b,x) }
NFA:
A:=( {x,y}, {a,b}, K ,{x,y},{x,y})
K:={ (x,a,y),(x,b,y),(y,a,x),(y,b,x) }
wie sieht das sonst bei euch aus!
ist das richtig?
DFA:
A:=( {x,y}, {a,b}, K ,{x},{x,y})
K:={ (x,a,y),(x,b,y),(y,a,x),(y,b,x) }
NFA:
A:=( {x,y}, {a,b}, K ,{x,y},{x,y})
K:={ (x,a,y),(x,b,y),(y,a,x),(y,b,x) }
Die akzeptieren beide {a,b}* (weil jeder Zustand
Endzustand ist).
richtig oder falsch???????????
ist falsch, da auch die Wörter a, aa, aaa bzw b, bb, bbb akzeptiert werden
ist falsch, da auch die Wörter a, aa, aaa bzw b, bb, bbb akzeptiert werden
Wie hast du es gemacht denn??
Also ich glaube nicht, dass es was bringt, hier
einzelne Lösungen vorzuturnen (die bringen ja keinem
was), aber wenn du unbedingt eine sehen willst:
.----. .----.<----.
| z0 |-----a---->| z1 |--a--'
`----' `----'
| |
b b
| |
V V
.----. .----.<----.
| z2 |-----a---->| z3 |--a--'
`----' `----'
| ^ | ^
b | b |
| | | |
`--' `--'
z0 ist der Startzustand und z3 der Endzustand.
Das ist noch ascii-art !
Und zwar handgetippt [img]
http://www.fb18.de/gfx/28.gif[/img]
