Homomorphismus < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 23:46 So 15.11.2009 | Autor: | LiN24 |
Aufgabe | Man Beweise, dass jeder Homomorphismus turing-berechenbar ist. |
Hallo,
ich weiß nicht, wie ich den Beweis dazu führen kann, mir fehlt selbst der Ansatz dazu.
Könnte mir jemand erklären, welche Bedingungen erfüllt sein müssen, damit ein Homomorphismus turing-berechbar ist und wie ich das schnell nachweisen kann?
Danke schonmal
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 23:48 So 15.11.2009 | Autor: | felixf |
Hallo!
> Man Beweise, dass jeder Homomorphismus turing-berechenbar
> ist.
Mal eine Frage: was fuer Homomorphismen sind hier gemeint? Zwischen welchen Objekten?
LG Felix
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 00:20 Mi 18.11.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|