Entscheidbarkeit einer Menge < Sonstiges < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Beweisen oder widerlegen Sie, daß die Menge:
B = {i [mm] \in \IN|\forall [/mm] x [mm] \in \IN [/mm] : ((x + 1) teilt Fi(x)) und (6 teilt i)}
entscheidbar ist.
(Fi = griechisch Fi(i) = while Programm mit index i)
Hinweis: Gödelisierung von While-Programmen ist 19-adisch codiert. |
Ich komme einfach auf keinen formalen Ansatz und kann leider auch mit dem Hinweis rein garnichts anfangen :(
Hilfe wäre mir sehr sehr sehr willkommen.
Danke schonmal für eure Zeit ;)
mfg
Phrix
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 07:09 Do 18.12.2008 | | Autor: | bazzzty |
Was ist denn Fi(x)?
|
|
|
| |
|
Das sollte eigtl ein griechisches FI sein und steht für das While-Programm mit dem Index i.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 04:20 Sa 20.12.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
