 Automaten |
Ratte
Jungspund
Dabei seit: 07.01.2017
Beiträge: 19
 |
|
Gibt es denn niemand der ein Beispiel parat hätte?
|
|
22.01.2017 06:16 |
|
|
|
|
Ausgabe brauchst du keine. Es gibt eine akzeptierenden Endzustand, das reicht.
Wir starten in s0 (haben bisher keine 0er gelesen, also eine gerade Anzahl, deshalb akzeptierend).
Wird eine 0 gelesen, ist die Zahl dann ungerade, also geht es nach s1 (nicht akzeptierend).
Wird dort wieder eine 0 gelesen, ist die Gesamtzahl wieder gerade, also nach s0 zurück. Das ist letztendlich Summe der 0er modulo 2.
Eine gelesene 1 ändert daran nichts.
Die Zeichnung habe ich mit graphviz gemacht. Kannst du dir entweder installieren oder auch online generieren lassen. Hier der Code:
| code: |
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
|
digraph {
rankdir = LR
I0 [shape = none label=""]
s0 [shape=doublecircle]
s1 [shape=circle]
I0 -> s0
s0 -> s0 [label="1"]
s1 -> s1 [label="1"]
s0 -> s1 [label="0"]
s1 -> s0 [label="0"]
} |
|
__________________
Syntax Highlighting fürs Board (Link)
|
|
|
22.01.2017 15:05 |
|
|
|
|
Es wird immer ein Zeichen nach dem anderen gelesen. Wenn eine 0 gelesen wird, folgst du dem 0er Pfeil. Wenn eine 1 gelesen wird, dem 1er.
Wenn keine Zeichen mehr zu lesen sind, schaust du, in welchem Zustand du bist und ob der akzeptierend ist.
__________________
Syntax Highlighting fürs Board (Link)
|
|
|
22.01.2017 15:32 |
|
|
Ratte
Jungspund
Dabei seit: 07.01.2017
Beiträge: 19
|
|
| Zitat: |
Original von eulerscheZahl
Sieht gut aus 
|
Danke eulersche zahl. 
Nun zur teilaufgabe c. Was genau ist denn bitte mit "nur einen akzeptor", gemeint?
|
|
|
22.01.2017 16:06 |
|
|
|
|
Es gibt ja akzeptierende und nicht-akzeptierende Endzustände (s0 ist akzeptierend, weil es eine gerade Anzahl an 0en und 1en gibt, solltest du in deinem Graphen noch kennzeichnen).
Das heißt einfach, dass nur einer der Zustände ein akzeptierender Endzustand ist.
__________________
Syntax Highlighting fürs Board (Link)
|
|
|
22.01.2017 16:09 |
|
|
|
.