IIm18-Kreativaufgabe3

Wiki-Quelltext dieser Seite.

= Zeitbeschränkte Prozesse =
Implementieren Sie die im Beweis definierte Aufzählfunktion (s. VL 4 auf der [https://web1.hszg.de/cwagenknecht-lehre/TI/Berechenbarkeitstheorie/anforderungen.html Seite von Prof. Wagenknecht]) für M ⊆ A* unter Verwendung der Cantorschen Paarungsfunktion. Wählen Sie im Fallbeispiel A={a,b,c}, g: N→A* und M={w|w ∈ A* und w beginnt mit ab}. M ist semi-entscheidbar.

== Implementierung ==
Die Funktionen wurden mit Kotlin implementiert. Das Projekt kann hier heruntergeladen werden: <document>Gr11wety_Buk-playground.zip</document>

Es kann in der IDE (empfohlen wird IntelliJ) als Gradle Projekt importiert werden. Anschließend sind die Funktionen in der Datei ''MTeilmengeAStern.kt'' zu finden.

Hinweise zu den Funktionen sind in den Kommentaren dieser Datei zu finden.