Skriptum S.30, Abb. 1.15: Erklärung

[maitscha]

Könnte jemand erklären, wie man auf die Werte im Skriptum auf S.30, Abbildung 1.15 kommt?

k=0 bedeutet doch, dass ich 0 Zwischenzustände von Zustand i zu Zustand j verwenden darf. Analog k=1 und k=2. Wie komm ich zum Beispiel auf R31???

[spinxy]

ja is richtig...du kommst auf R31 so: bei k=0 hast du eine leere klammer, weil du nicht ohne zwischenzustand von q3 auf q1 kommst, bei k=1 würdest du zwar über q2 auf q1 kommen, jedoch darf q nicht größer als k sein, ist es aber in diesem fall (2>1) daher wieder leere klammer. und bei k=2 über 2 zustände, dh du läufst 2 mal über q2, daher {0,1} auf q2, {0,0} auf q2 wieder und {0} auf q1...so hab ich das zumindest verstanden...hoffe ich konnte helfen.

[templar]

Könnte jemand erklären, wie man auf die Werte im Skriptum auf S.30, Abbildung 1.15 kommt?

k=0 bedeutet doch, dass ich 0 Zwischenzustände von Zustand i zu Zustand j verwenden darf. Analog k=1 und k=2. Wie komm ich zum Beispiel auf R31???

Nein, das k heißt, dass du nur Zwischenzustande verwenden darfst, deren Index <= k ist:
Bei k=0 geht also nur der direkte Weg, bei k=2 alle Wege mit den Knoten 1 oder 2 als Zwischenknoten.

[maitscha]

...dass du nur Zwischenzustande verwenden darfst, deren INDEX <= k ist.

Das war der eintscheidende Hinweis.
thx.

[seg2]

Dazu hätte ich auch eine Frage:

Es betrifft immer k=2.
Bei R13, R23 und R33 kommt jeweils immer ein {0}* vor. - Warum ist das kein {00}*??? - Es ist doch wie z. B. bei R11 eine "Schleife" zwischen q1 und q2, oder nicht?


lg

[maitscha]

Dazu hätte ich auch eine Frage:

Es betrifft immer k=2.
Bei R13, R23 und R33 kommt jeweils immer ein {0}* vor. - Warum ist das kein {00}*??? - Es ist doch wie z. B. bei R11 eine "Schleife" zwischen q1 und q2, oder nicht?


R13: Startknoten ist 1, Zielknoten ist 3. Als Zwischenknoten dürfen alle Knoten mit Index kleiner oder gleich 2 genommen werden. Jetzt kommt man aber von Knoten 1 und 2 zum Knoten 3, d.h. es ist egal wieviele 0 man wählt {0}*, man kommt immer vom aktuellen Knoten mit einer 1 {1} zum Endknoten 3: {0}* . {1}.