Beweis mit Homomorphismus < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 16:23 Fr 14.05.2010 | Autor: | extasic |
Aufgabe | Beweisen Sie mittels Induktion: Sei [mm] \theta [/mm] ein Homomorphismus, dann gilt für alle p [mm] \in [/mm] P und alle w [mm] \in \Sigma^{\*} [/mm]
[mm] \theta(\delta^\*(p,w)) [/mm] = [mm] \delta^\*(\theta(p),w) [/mm] |
Leider habe ich weder verstanden was ein Homomorphismus ist, noch was hier eigentlich zu zeigen sein soll.
Es geht im Thema der Vorlesung um Theoretische Informatik, und wir sind gerade bei formalen Sprachen und der Automatentheorie. Einen Zusammenhang sehe ich leider nicht, und eine Erklärung zum Homomorphismus kann ich auch nirgends finden (die bei Wikipedia verstehe ich nicht).
Könnt ihr mir vielleicht in "deutschen Worten" erklären was ich hier zeigen soll - und wo der Zusammenhang zum Thema (siehe oben) steckt?
Vielen Dank im Voraus!
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 18:16 Fr 14.05.2010 | Autor: | felixf |
Hallo!
> Beweisen Sie mittels Induktion: Sei [mm]\theta[/mm] ein
> Homomorphismus, dann gilt für alle p [mm]\in[/mm] P und alle w [mm]\in \Sigma^{\*}[/mm]
Was ist $P$? Und von wo nach wo ist [mm] $\theta$ [/mm] ein Homomorphismus?
> [mm]\theta(\delta^\*(p,w))[/mm] = [mm]\delta^\*(\theta(p),w)[/mm]
Was ist [mm] $\delta^\ast$?
[/mm]
LG Felix
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 17:20 So 16.05.2010 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|