Welche Sprache wird erkannt? < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) beantwortet | Datum: | 12:27 So 29.04.2012 | Autor: | bandchef |
Aufgabe | Welche Sprache erkennt M?
Bild zum Automaten: http://s7.directupload.net/file/d/2875/ss3jodh2_jpg.htm |
Hi Leute!
Wie die Aufgabe ja bedeutet, soll ich die Sprache angeben, die den Automaten wie im Bild beschreibt. Ich hab mir dazu natürlich auch schon Gedanken gemacht und dabei auf das hier gekommen:
[mm] $L=\{ u1?? | u\in \Sigma^{\star} \}
[/mm]
Das u in meiner Sprache soll übrigens für ein Teilwort stehen und das wiederum für die Eigeschleife am ersten Zustand q. Dann MUSS eine 1 kommenn und dann gehts weiter zu den Fragezeichen, hier beginnen dann meine Probleme.
Wenn man den Automaten ansieht, dann kann man erkennen, dass nach Zustand 2 noch die Zustände 1 und 0 kommen, die jeweils mit einer 0 oder einer 1 zu erreichen sind. Mein Problem ist nun, dass ich nicht weiß wie ich das in der formalen Sprache oben ausdrücken soll.
Ich hoffe ihr könnt mir weiterhelfen!
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 12:47 So 29.04.2012 | Autor: | felixf |
Moin!
> Welche Sprache erkennt M?
>
> Bild zum Automaten:
> http://s7.directupload.net/file/d/2875/ss3jodh2_jpg.htm
>
> Wie die Aufgabe ja bedeutet, soll ich die Sprache angeben,
> die den Automaten wie im Bild beschreibt. Ich hab mir dazu
> natürlich auch schon Gedanken gemacht und dabei auf das
> hier gekommen:
>
> [mm]$L=\{ u1?? | u\in \Sigma^{\star} \}[/mm]
Hier ist [mm] $\Sigma [/mm] = [mm] \{ 0, 1 \}$, [/mm] oder?
> Das u in meiner Sprache soll übrigens für ein Teilwort
> stehen und das wiederum für die Eigeschleife am ersten
> Zustand q. Dann MUSS eine 1 kommenn und dann gehts weiter
> zu den Fragezeichen, hier beginnen dann meine Probleme.
> Wenn man den Automaten ansieht, dann kann man erkennen,
> dass nach Zustand 2 noch die Zustände 1 und 0 kommen, die
> jeweils mit einer 0 oder einer 1 zu erreichen sind. Mein
> Problem ist nun, dass ich nicht weiß wie ich das in der
> formalen Sprache oben ausdrücken soll.
Das Fragezeichen ist jeweils ein Element aus [mm] $\Sigma$.
[/mm]
LG Felix
|
|
|
|
|
Ja, die Sprache geht natürlich über [mm] $\Sigma_{\text{Bool}}^{\star}$.
[/mm]
Wenn nun, wie du schreibst, die beiden Fragezeichen ein Element $ [mm] \Sigma [/mm] = [mm] \{ 0, 1 \} [/mm] $ sein sollen, wie notier ich das dann komplett richtig? Ich mein, ich kann ja schlecht die ? drin lassen...
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 13:20 Di 01.05.2012 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 16:02 So 06.05.2012 | Autor: | bandchef |
Kann mir hierzu niemand mehr eine Antwort geben? Wär wirklich wichtig
|
|
|
|