Homomorphismus zeigen < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Sei [mm] Z_3 [/mm] = {0, 1, 2}. Für jedes Wort w [mm] \in [/mm] Z^*_3 bezeichne c(w) das Wort [mm] \mathbb{Z}_{|w|} \rightarrow Z_3 \times [/mm] D, i [mm] \mapsto (w_i, [/mm] R) falls i gerade ist, [mm] (w_i, [/mm] L) sonst
Zeigen Sie, dass die Abbildungen c und d [mm] \epsilon [/mm] -freie Homomorphismen sind. |
Hallo,
ich verstehe bei dieser Aufgabe leider nicht, wieso c ein Homomorphismus ist. Folgendes Gegenbeispiel kommt mir in den Sinn:
c(0120) = (0, R)(1, L)(2, R)(1, L)
c(012) = (0, R)(1, L)(2, R)
c(0) = (0, R)
c(012)c(0) = (0, R)(1, L)(2, R)(0, R) [mm] \ne [/mm] c(0120)
Dann wäre c aber kein Homomorphismus.
Verwende ich die Abbildung falsch, und kann mir jemand einen Tipp geben, wo ich einen Fehler mache?
Mit freundlichen Grüßen
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:10 Fr 14.11.2014 | | Autor: | duduknow |
c ist also kein Homomorphismus. Die Aufgabe war nur (meiner Meinung nach) irreführend gestellt.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 18:20 Sa 15.11.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
