DFA bzw. DEA Automat |
Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Der DFA soll die Sprache A entscheiden. Das bedeutet, dass dein DFA angesetzt auf ein Wort aus A in einem akzeptierenden Zustand endet und angesetzt auf ein Wort, welches nicht in A liegt in einem nicht-akzeptierenden Zustand endet.
Du musst nun genau einen DFA konstruieren, der nur Wörter akzeptiert (d.h. in einem akzeptierenden Zustand endet), die
1) mit a beginnen
2) mit b enden
3) gerade Wortlänge haben
Da du offensichtlich garncith weißt, wie der Hase läuft gebe ich dir mal einen möglichen regulären Ausdruck an (der hoffentlich richtig ist):
Jedes Wort beginnt mit a und endet mit b. Dazwischen kann man optional noch was einfügen. Aber immer nur im Zweierpack damit das Wort gerade Länge hat.
|
|
12.04.2007 23:04 |
|
|
Pampelmuse
Mitglied
Dabei seit: 12.04.2007
Beiträge: 32
|
|
Hil,
erst mal Danke für den Beitrag
Das + ist mir neu weiß nicht was es bedeutet, für mich wirkt das so das nur Wörter der Form:
a abab b, a abababab b
und nicht
a ab b bzw. a aa bb b
Wie läüft den der Hase denn?,ist es möglich dies auch zeichnerisch zu lösen bzw. in der Form
A-->aB
...
?
|
|
13.04.2007 08:37 |
|
|
Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Also die Definition die du gegeben hast lässt keinen Raum für Spekulation:
Zitat: |
Sei A die Menge aller Wörter aus {a,b}^* mit gerader Länge,
die mit einem a anfangen und auf b enden. |
aaabbb hat gerade Länge (6), beginnt mit einem a und endet mit einem b. Also ist es ein Wort der Sprache A.
Weißt du überhaupt, was ein regulärer Ausdruck ist? Das "+" steht für "oder". Also bei dem Ausdruck (a + b) kannst du entweder ein a oder ein b wählen.
Was du mit "zeichnerisch" meinst ist mir ein Rätsel. Du sollst einen Automaten konstruieren.
|
|
13.04.2007 10:12 |
|
|
Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Dein Automat ist falsch denn es wird das Wort aab akzeptiert, das nicht gerade Länge hat.
Dein regulärer Ausdruck a(a+ab+ba+b)* ist ebenfalls falsch. Die Wörter enden nicht auf b und die gerade Länge hast du nicht beachtet.
|
|
13.04.2007 16:58 |
|
|
Tobias
Routinier
Dabei seit: 18.09.2006
Beiträge: 324
|
|
Jawollski. Jetzt noch den akzeptierenden Zustand markieren und dann schauts gut aus.
|
|
13.04.2007 18:13 |
|
|
Pampelmuse
Mitglied
Dabei seit: 12.04.2007
Beiträge: 32
|
|
Achso endzustand z_4 umkreisen ,
besten Dank nochmal.
|
|
14.04.2007 10:14 |
|
|
|