BuK/IIm14/Studenten/s3rozoek/Uebung7

Wiki-Quelltext dieser Seite.

Folie 4




Schreiben Sie Prozeduren für G (Primzahlverschlüsselung) und
G −1 : G (A ∗ ) → A ∗ . Erzeugen Sie auch den Stream für A ∗ bei
gegebenem Alphabet A unter Verwendung der
Primzahlverschlüsselung als Gödelisierung. Dokumentieren Sie die
Verwendung der Prozeduren im ProgrammingWiki.

Beweis als Übungsaufgabe: argumentativ für h = G −1 ◦ f ◦ G und
f = G ◦ h ◦ G −1 unter Bezugnahme auf das Prinzip der
Gödelisierung.