Aussage prüfen < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 20:45 Mi 17.02.2010 | | Autor: | RalU |
| Aufgabe | Hallo,
ich habe folgende Frage:
Ist die folgende Aussage richtig oder falsch (mit Begründung)?
[Dateianhang nicht öffentlich]
|
meine Lösung:
[Dateianhang nicht öffentlich]
Dateianhänge:
Anhang Nr. 1 (Typ: jpg) [nicht öffentlich]
Anhang Nr. 2 (Typ: jpg) [nicht öffentlich]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:26 Do 18.02.2010 | | Autor: | RalU |
Ich bitte weiterhin um Hilfe...
Gruß, Ralf
|
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 23:59 Do 18.02.2010 | | Autor: | felixf |
Hallo!
> Hallo,
> ich habe folgende Frage:
>
> Ist die folgende Aussage richtig oder falsch (mit
> Begründung)?
> [Dateianhang nicht öffentlich]
Tipp das doch bitte ab, damit man es auch lesen kann. Das erhoeht auch die Chance, dass jemand antwortet.
> meine Lösung:
> [Dateianhang nicht öffentlich]
Was ist denn [mm] $\overline{\{ a \}^*}$? [/mm] Das sind doch alle Woerter, die nicht in [mm] $\{ a \}^*$ [/mm] sind. Und [mm] $\{ a \}^*$ [/mm] sind die Woerter [mm] $\varepsilon, [/mm] a, aa, aaa, aaaa, [mm] \dots$. [/mm] Wenn also $a b c [mm] \not\in \overline{\{ a \}^*}$ [/mm] ist, dann muss $a b c [mm] \in \{ a \}^*$ [/mm] sein. Das glaube ich dir aber nicht.
LG Felix
|
|
|
| |
|
| Status: |
(Frage) überfällig  | | Datum: | 12:17 Fr 19.02.2010 | | Autor: | RalU |
> Was ist denn [mm]\overline{\{ a \}^*}[/mm]? Das sind doch alle
> Woerter, die nicht in [mm]\{ a \}^*[/mm] sind. Und [mm]\{ a \}^*[/mm] sind
> die Woerter [mm]\varepsilon, a, aa, aaa, aaaa, \dots[/mm]. Wenn also
> [mm]a b c \not\in \overline{\{ a \}^*}[/mm] ist, dann muss [mm]a b c \in \{ a \}^*[/mm]
> sein. Das glaube ich dir aber nicht.
>
> LG Felix
>
Also wenn ich dich richtig verstehe,
sind in der Menge [mm] \overline{\{a\}^{*}} [/mm] alle Wörter,
die nicht in [mm] \{a\}^{*} [/mm] sind
- wie ich auch schon erwähnte -
aber unter anderem auch das Wort w=abc, also {b,bc,bbc,...,abc,...}.
Und damit wäre dann die Aussage aus der Aufgabenstellung dennoch falsch,
weil eben [mm] \overline{\{a\}^{*}} \cup (\emptyset \cup [/mm] {a}) [mm] \not\varepsilon [/mm] {abc}
Gruß, Ralf
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 00:13 So 21.02.2010 | | Autor: | felixf |
Hallo!
> > Was ist denn [mm]\overline{\{ a \}^*}[/mm]? Das sind doch alle
> > Woerter, die nicht in [mm]\{ a \}^*[/mm] sind. Und [mm]\{ a \}^*[/mm] sind
> > die Woerter [mm]\varepsilon, a, aa, aaa, aaaa, \dots[/mm]. Wenn also
> > [mm]a b c \not\in \overline{\{ a \}^*}[/mm] ist, dann muss [mm]a b c \in \{ a \}^*[/mm]
> > sein. Das glaube ich dir aber nicht.
>
> Also wenn ich dich richtig verstehe,
> sind in der Menge [mm]\overline{\{a\}^{*}}[/mm] alle Wörter,
> die nicht in [mm]\{a\}^{*}[/mm] sind
> - wie ich auch schon erwähnte -
Ja.
> aber unter anderem auch das Wort w=abc, also
> {b,bc,bbc,...,abc,...}.
Ja.
> Und damit wäre dann die Aussage aus der Aufgabenstellung
> dennoch falsch,
> weil eben [mm]\overline{\{a\}^{*}} \cup (\emptyset \cup[/mm] {a})
> [mm]\not\varepsilon[/mm] {abc}
Wieso das?!?
LG Felix
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 12:20 So 21.02.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
