Homorphismus < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:15 Mi 18.04.2012 | | Autor: | msg08 |
| Aufgabe | Hi,
der Homomorphismus ist soweit so definiert:
Es seien DFAs gegeben: M = (Q,Σ,δ,q0,F) M′ =(Q′,Σ,δ′,q0′,F′)
Eine Abbildung h: Q → Q′ mit
1 h(q)∈F′⇐⇒q∈F 2 2. h ( q 0 ) = q 0′ 3 3. h(δ(q, a)) = δ′(h(q), a)
heißt Homomorphismus von M nach M′. |
Muss die 1. Bedingung surjektiv sein? Also muss man eben einem akzeptierendem Zustand aus M eben alle akzpetierenden von M' zuordnen? Wenn ja, woraus geht das hervor?
Quelle: http://verify.rwth-aachen.de/fosap10/uebungen/blaetter/Loesung4.pdf
Da wird es auch als Grund genannt, weswegen soweit auch kein Homomorphismus möglich ist.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Fr 20.04.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
