Uebung7

Aus ProgrammingWiki

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.