DEA Äquivalenzrealtion Beweis < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 09:44 Di 18.11.2008 | | Autor: | RalU |
| Aufgabe | Hallo. Wie beiweist man dass bei einem DEA mit [mm] (Q,\summe_, \delta,q0,F) [/mm] mit äquivalenten Zuständen p und q eine Äquivalenzrelation auf Q vorliegt für den Fall, dass für alle Wörter [mm] \in \summe [/mm] ^{*} gilt:
[mm] \delta(p,w)\in [/mm] F [mm] \gdw \delta(q,w) \in [/mm] F |
Klar: Es muss geprüft werden ob Reflexivität, Symmetrie und Transitivität vorliegen, aber wie?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 10:22 Do 20.11.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
