Hallo,

ich habe gerade Verständnisschwierigkeiten mit Aufgabe 7.1-1.

Was genau berechnet man mit der Initialen Zusammenhangskomponente (bzw. was ist eine induktiv definierte Menge) ?

Bin wieder jede Anregung dankbar.

anregung:

skript seite 65,

die menge der zustände der initialen ZHK wird schrittweise berechnet,

man fängt mit dem startzustand an, M = {z0}

dann macht man solange folgendes immer wieder (eine schleife),
bis die abbruchbedingung erreicht ist:

die menge M wird erweitert um alle zustände,
die mit allen möglichen buchstaben von allen bisherigen
zuständen aus M erreicht werden können,

[z.B. beim ersten schleifendurchlauf: alle zustände,
die mit dem startzustand verbunden sind]

endbedingung: bei einem schleifendurchlauf sind keine neuen
zustände zu M dazugekommen



fertig ist das verfahren,

nun kann man noch zur schönheit die ganzen M's in jeder
schleife durchnummerieren, M0, M1, …,
oder das ganze verfahren 'induktiv' nennen

mit 'induktiv-definierter menge' meint man solche mengen
wie in diesem verfahren hier ;),
kann man mit dem 'beweis per induktion' vergleichen:

man fängt mit etwas definierten an, und der rest ergibt sich
denn nach und nach, per wiederholung eines einfachen schrittes

Ich verstehe die Aufgabe auch überhaupt nicht… sollen wir den Algorithmus aus dem Skript benutzen, dann aber mit zwei Rechnungen da ja nur gerade Wörter akzeptiert werden sollen?!?!
Hilfe!!!

nein, du sollts dir ein anderes (ähnliches) verfahren AUSDENKEN,
mit dem man die zustände bestimmen kann,
die man hier bestimmen soll,

das mit 'zwei rechnungen' klingt schon recht brauchbar

@Slater (Mein heimlicher F Gott [img]http://www.fb18.de/gfx/15.gif[/img]):

basierend auf Algo. auf Seite 65… stimmt die Ueberfuehrungsfunktion delta(z,x) weiterhin (also kann ich einen Kantenzug ueberspringen) oder muss da delta(z,x),delta(x,z) draus werden ?

basierend auf Algo. auf Seite 65… stimmt die Ueberfuehrungsfunktion delta(z,x) weiterhin (also kann ich einen Kantenzug ueberspringen) oder muss da delta(z,x),delta(x,z) draus werden ?

wie meinst du das?

wenn z ein zustand ist und x ein buchstabe dann ist delta(x,z) nicht definiert,

für diesem algorithmus könnte es nützlich sein bei jeder schleife die knoten zu betrachen,
die man mit 2 buchstaben erreichen kann, ja
mag sein dass dafür delta(delta(z,x),y) brauchbar ist, ja,

und man darf alles vom vorlagealorithmus verändern wie man es für sinnvoll hält, ja,
falls das deine frage war ;)