Kreativaufgabe Zeitbeschränkte Prozesse (Kretschmer, Schumann)

Wiki-Quelltext dieser Seite.

;Autoren
:[mailto://s3toschu@stud.hszg.de Tom Schumann]<br/>
:[mailto://s3hakret@stud.hszg.de Hannes Kretschmer]

=Aufgabenstellung=

Implementieren Sie die im Beweis definierte Aufzählfunktion für $M \subseteq \text{ A*}$ unter Verwendung der Cantorschen Paarungsfunktion. Wählen Sie im Fallbeispiel $A = \{a,b,c\}, g: \N \mapsto A^*$ und M = $\{w |w \in A^* \text{ und } w \text{ enthält Fibonacci-zahlig viele } b's\}$.

Machen Sie bei der Konstruktion von $\chi^'_M$ nur von der Semi-Entscheidbarkeit der Menge der Fibonacci-Zahlen Gebrauch, obwohl doch deren Entscheidbarkeit durch Beschränkung des Suchraumes gegeben ist.

'''Hinweis:''' Sie benötigen keine ''engines''. Das einfache Timer-System reicht aus.

=Lösung=

==Abbildung der Natürlichen Zahlen==


<popup text="Vollständigen Code"><code>

Ich bin Code

</code></popup>

==Generierung von $A^*$==

<popup text="Vollständigen Code"><code>

Ich bin Code

</code></popup>

==Menge der Fibonacci-Wörter==

<popup text="Vollständigen Code"><code>

Ich bin Code

</code></popup>

==Cantorsche Paarungsfunktion==

<popup text="Vollständigen Code"><code>

Ich bin Code

</code></popup>

==$g: \N \mapsto A^*$==

<popup text="Vollständigen Code"><code>

Ich bin Code

</code></popup>

==Aufzählfunktion==

<popup text="Vollständigen Code"><code>

Ich bin Code

</code></popup>