Automatentheorie < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Folgende Sprache ist gegeben:
[mm] $L=\{w \in \Sigma^\star_\text{Bool} | \forall u,v \in \Sigma^\star_\text{Bool} $ mit $u1v$ folgt $v=00s, s \in \Sigma^\star_\text{Bool} \}$ [/mm] |
Ich soll nun den dazugehörigen Automatengraphen zeichnen. Und ich weiß irgendwie gar nicht wie ich das machen soll. Gut, einen Startzustand hab ich schon da, aber weiter weiß ich jetzt nicht mehr...
Könnt ihr mir helfen?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:20 So 29.05.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
